Formal Methods Research Position

2 weeks ago

Singapore beBeeVerification Full time $90,000 - $120,000
Research Fellow in Formal Methods

The 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 successful candidate will work on combining interactive verification in the Lean proof assistant with SMT-based verification tools to advance the state of the art in hybrid verification systems.

Responsibilities:

  • 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

Requirements:

  • Strong background in formal methods or programming languages
  • 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

Qualifications:

  • PhD in Computer Science or related field
  • A track record of publishing in top-tier venues
  • Demonstrated ability to carry out independent research and contribute to collaborative projects

  • Formal Methods Research Specialist

    1 week ago

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

    Job DescriptionThe 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 InvolvesLeading research projects in interactive and...

  • Developer in Formal Verification

    7 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

    1 week 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 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,...

  • 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...

  • Social Science Research Methods Lecturer

    1 week ago

    Singapore beBeeLecturer Part time $40,000 - $80,000

    Teaching PositionWe are seeking a part-time lecturer who can teach a specialization module in qualitative social science and fieldwork methods.The ideal candidate will be able to teach social science research methods within a framework of environmental-economic-social sustainability issues.Candidates should have a proven track-record in undergraduate...

  • Research Fellow, School of Computing

    2 weeks ago

    Singapore NATIONAL UNIVERSITY OF SINGAPORE Full time

    Roles & ResponsibilitiesInterested applicants are invited to apply directly at the NUS Career PortalYour application will be processed only if you apply via NUS Career PortalWe regret that only shortlisted candidates will be notified.Job DescriptionThe National University of Singapore invites applications for the position of Research Fellow in the Department...