Visiting Research Fellow, Computer Science
2 weeks ago
Company description:
The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in Singapore
Job description:
Job Description
The School of Computing at the National University of Singapore invites applications for a Research Fellow position in the area of formal methods, with a focus on combining interactive verification in the Lean proof assistant with SMT-based verification tools, such as Viper, Dafny, and Verus.
The successful candidate will work as a member of VERSE research lab led by A/P Ilya Sergey, doing research at the intersection of interactive theorem proving and automated program analysis, advancing the state of the art in hybrid verification systems.
The role involves:
• Leading research projects in interactive and automated verification.
• Supervising and mentoring MSc students.
• Developing and integrating verification frameworks and toolchains.
• Assisting in the preparation of competitive grant proposals.
• Collaborating with international research groups in programming languages and formal methods.
Job Requirements
• Strong expertise in at least one interactive theorem prover, preferably Lean.
• Strong background in SMT-based verification tools (experience with Viper is an advantage).
• Excellent research and publication record in formal methods or programming languages.
• Proven ability to supervise and mentor postgraduate students.
• Experience in leading collaborative research projects.
• Strong programming skills in relevant languages (e.g., Scala, Rust, OCaml, or Haskell).
• Excellent communication skills in English.
Qualifications
• PhD in Computer Science or related field, with a specialisation in formal methods, program verification, or programming languages.
• A track record of publishing in top-tier venues such as POPL, PLDI, CAV, OOPSLA, or similar.
• Demonstrated ability to carry out independent research and contribute to collaborative projects.
Covid-19 Message More Information
Location: Kent Ridge Campus
Organization: School of Computing
Department : Department of Computer Science
Employee Referral Eligible: No
Job requisition ID : 29976
-
Visiting Fellow
2 weeks ago
Central Region, Singapore National University of Singapore Full time $104,000 - $130,878 per yearCompany description: The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in SingaporeJob description: Job Description Visiting Fellow in Computational CommunicationThe...
-
Visiting Research Fellow
2 weeks ago
Central Region, Singapore National University of Singapore Full time $104,000 - $130,878 per yearCompany description: The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in SingaporeJob description: Job DescriptionThe East Asian Institute (EAI) at the National University...
-
Research Fellow, School of Computing
2 weeks ago
Central Region, Singapore National University of Singapore Full time $104,000 - $130,878 per yearCompany description: The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in SingaporeJob description: Job DescriptionThe National University of Singapore invites applications...
-
Visiting Research Fellow
2 weeks ago
Central Region, Singapore National University of Singapore Full time $70,000 - $120,000 per yearCompany description: The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in SingaporeJob description: Job DescriptionThe Department of Diagnostic Imaging (DDI) is the clinical...
-
Research Fellow
7 days ago
Central Region, Singapore National University of Singapore Full time $104,000 - $130,878 per yearCompany description: The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in SingaporeJob description: Job DescriptionResearch Fellow (Electrochemical CO2 reduction) position...
-
Research Fellow
1 week ago
Central Singapore Emprego SG Full time**Location** Singapore, Central Singapore **Job Type** Permanent **Date Posted** 1 hour ago Additional Details **Job ID** 10338 **Job Views** 1 **Job Description**: The position of Postdoctoral Fellow with an emphasis on cancer genomics and bioinformatics is immediately available in the laboratory of Dr. Jason Pitt, which integrates data science...
-
Research Fellow
7 days ago
Central Region, Singapore National University of Singapore Full time $104,000 - $130,878 per yearCompany description: The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in SingaporeJob description: Job DescriptionSocial Service Research Centre (SSR) at the Faculty of...
-
Research Fellow
2 weeks ago
Central Region, Singapore National University of Singapore Full time $90,000 - $120,000 per yearCompany description: The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in SingaporeJob description: Job DescriptionThe National University of Singapore invites applications...
-
Research Fellow
2 weeks ago
Central Region, Singapore National University of Singapore Full time $90,000 - $120,000 per yearCompany description: The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in SingaporeJob description: Job DescriptionThe National University of Singapore (NUS) invites...
-
Research Fellow
2 weeks ago
Central Region, Singapore National University of Singapore Full time $80,000 - $120,000 per yearCompany description: The National University of Singapore is the national research university of Singapore. Founded in 1905 as the Straits Settlements and the Federated Malay States Government Medical School, NUS is the oldest higher education institution in SingaporeJob description: Job DescriptionThe research fellow will work closely with Miklos Santha...
