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.