Formal Methods Research Specialist

1 week ago

Singapore beBeeResearch Full time $90,000 - $120,000
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. The successful candidate will work as a member of VERSE research lab, 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.
Required Skills and Qualifications
  • 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.
Benefits
  • Opportunity to work on cutting-edge research projects.
  • Collaborative and dynamic research environment.
  • Chance to publish papers in top-tier venues.
Others
  • PhD in Computer Science or related field, with a specialisation in formal methods, program verification, or programming languages.
  • Demonstrated ability to carry out independent research and contribute to collaborative projects.

  • Formal Methods Research Position

    2 weeks ago

    Singapore beBeeVerification Full time $90,000 - $120,000

    Research Fellow in Formal MethodsThe School of Computing at National University of Singapore invites applications for a Research Fellow position in the area of formal methods.We are seeking an individual with strong expertise in at least one interactive theorem prover, preferably Lean, and experience with SMT-based verification tools such as Viper.The...

  • Developer in Formal Verification

    6 days ago

    Singapore beBeeResearch Full time $90,000 - $120,000

    Job Title:Research Fellow in Computer ScienceJob Description:The National University of Singapore invites applications for a Research Fellow position in the Department of Computer Science, focused on formal verification and program research. The successful candidate will work closely with the Principal Investigator to investigate novel verification...

  • Academic Researcher

    2 weeks ago

    Singapore beBeeFormalVerification Full time $90,000 - $120,000

    Job OpportunityWe are seeking a highly skilled Research Fellow to join our team and contribute to the advancement of formal verification and program research. As a Research Fellow, you will be working closely with the Principal Investigator on one or more research projects related to security protocols.The ideal candidate should have a strong background in...

  • Senior Research Position in Formal Methods

    2 weeks ago

    Singapore beBeeResearch Full time $80,000 - $120,000

    Job Title: Visiting Research Fellow, Computer Science">\

  • Academic Researcher

    7 days ago

    Singapore beBeeFormalVerification Full time

    Job Opportunity We are seeking a highly skilled Research Fellow to join our team and contribute to the advancement of formal verification and program research. As a Research Fellow, you will be working closely with the Principal Investigator on one or more research projects related to security protocols. The ideal candidate should have a strong...

  • Research Associate

    2 weeks ago

    Singapore Nanyang Technological University Full time

    Key Responsibilities: - Conduct research to develop modern numerical methods to solve optimization problems in operations research and financial mathematics- Develop numerical methods for optimization problems in operations research and management science, financial mathematics, and economics- Guide research projects within the research groupsJob...

  • Visiting Research Fellow, Computer Science

    1 day ago

    Singapore National University of Singapore Full time

    Visiting Research Fellow, Computer Science Join to apply for the Visiting Research Fellow, Computer Science role at National University of Singapore Visiting Research Fellow, Computer Science 2 weeks ago Be among the first 25 applicants Join to apply for the Visiting Research Fellow, Computer Science role at National University of Singapore Job Description...

  • Research Scientist

    5 days ago

    Singapore beBeeAnalyticalChemistry Full time $80,000 - $120,000

    Our organization seeks a Research Assistant with expertise in Analytical Chemistry to join our team of scientists. This exciting opportunity involves collaborating on the development and optimization of mass spectrometry-based methods for biomonitoring.Key ResponsibilitiesPlan and organize standard operating procedures of projectsDevelop new analytical...

  • Distinguished/senior Engineer

    2 weeks ago

    Singapore PARALLELCHAIN LAB PRIVATE LIMITED Full time

    ParallelChain Lab is seeking a Distinguished/Senior Engineer to take on the challenge of software formal verifications. This is the act of proving or disproving the correctness and security of the intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. This is a full-time,...

  • Computer Systems Researcher

    7 days ago

    Singapore beBeeFormalMethods Full time $80,000 - $120,000

    Job OpportunityWe are seeking a highly skilled researcher to contribute to the advancement of formal verification and program research. As a Research Fellow, you will be working closely with the Principal Investigator on one or more research projects related to security protocols.The ideal candidate should have a strong background in formal methods,...