Research Fellow/Senior Research fellow for National Satellite of Excellence in Trustworthy Software
This research center aims to enhance our national capabilities in trustworthy smart system infrastructures and build on our strengths in software security, and smart systems to build an array of point technologies, leading to certification capabilities of software systems. We plan to combine the strengths of both universities (NUS and NTU) to provide a plethora of capabilities for software certification and validation. The person will be based at NUS in the lab of Prof. Abhik Roychoudhury. Please see these links to get an idea about the research background.
Applicant should have a demonstrated successful track-record of prior research work in related areas. Research Fellow must hold a PhD in a relevant area. Publications in top conferences and journals in formal methods or security or software engineering/programming languages are necessary. The term of appointment will be 1-2 years and is extendible, upon review of satisfactory performance. The selected candidate will be offered strongly competitive salaries and benefits, and substantial freedom to build up a strong research profile. Salary is $72K - 96K per year, depending on qualifications.