Job Description
The National University of Singapore invites applications for the position of Junior Research Assistant in the Department of Information Systems and Analytics, School of Computing (SoC). SoC is strongly committed to research excellence in all its dimensions: The Junior Research Assistant will be responsible for working closely with the Principal Investigators and lab members on one or more research projects. He/she will work on the development of Velvet, a deductive program verifier embedded in Lean 4, within the Verification and Programming Languages group at NUS.
Key Responsibilities:
- Implementing and testing new verification features in Velvet
- Write annotated programs to stress-test the specification language
- Contributing to the VelvetMark benchmark suite
- Survey related work in deductive verification
- Extending and maintaining the test suite
- Contributing to research on invariant inference and LLM-assisted verification
Qualifications
- Bachelor's degree in Computer Science (or related area)
- Strong foundational knowledge of functional programming and type theory
- Familiarity with program verification concepts, including Hoare logic, weakest preconditions, and specification languages like Dafny or Why3
- Hands-on experience in at least one proof assistant or dependently typed language such as Lean 4, Rocq, or Agda
More Information
Location: Kent Ridge Campus
Organization: School of Computing
Department : Department of Computer Science
Employee Referral Eligible: No
Job requisition ID : 32178
