RESEARCH FELLOW in Program Analysis and Security
To conduct research and
experimentation on both static and dynamic analysis of programs in
order to detect security vulnerabilities. Of particular focus in this
project is the technique of symbolic executition. The candidate
should have strong interest in programming languages and software
engineering in general, and strong interest in building prototype
software tools which implement new ideas.
Specific expertise in one of the following areas is useful: software
tesing, program analysis, binary analysis, compilers, software
model-checking, and program verification.
Readings (available from http://www.comp.nus.edu.sg/~joxan/res.html)
RESEARCH ASSISTANT IN COMPUTER SECURITY
The Computer Science Department at the National University of
Singapore (NUS) seeks one Research Assistant to work in the project
entitled "Aduction and Interpolation for Bit-Vectors", funded by the
National Research Foundation (NRF). The position is available
immediately. The initial term of appointment
will be 1 year extensible to 2 years, upon review of satisfactory
performance. The selected candidates will be offered strongly
competitive salaries and benefits, support to travel for dissemination
of research results, and substantial freedom to build a strong
research profile of their own.
JOB REQUIREMENTS:
A Bachelor's degree in a relevant area of Computer Science is
required. The candidate should have strong interest in programming
languages and software engineering in general, and strong interest in
building prototype software tools which implement new ideas. Specific
expertise in one of the following areas is useful: software tesing,
program analysis, binary analysis, compilers, software model-checking,
and program verification.
ABOUT NUS:
NUS is a reputed world-class university that provides an outstanding,
supportive research environment. Its School of Computing was recently
ranked by QS as #1 in Asia and #9 in the world. Singapore is a
vibrant, well-connected city with low taxes and a research hub centred
in Asia.
TO APPLY:
If interested, please send your application including a cover letter,
CV and a brief statement of research interests.
Please e-mail your materials to Joxan Jaffar, PI (joxan@comp.nus.edu.sg).
Only shortlisted candidates will be contacted.