Job Description

The research scientist will be working with a team to carry out basic research in trustworthy formal methods. The topics of interest under this project include trustworthy automated reasoning, verification of randomized algorithms, compiler verification, and control/hybrid systems verification.

Key Responsibilities

• Research and Development: To carry out research tasks relevant to the project scope in trustworthy formal methods as listed briefly above.
• Student Supervision: Co-supervise students (undergrad/masters/PhD level) in relevant research tasks.
• Publication and Dissemination: Disseminate completed research work through publications and presentations at various high-quality international venues.
• Strategic Planning: Participate in other department/institute-level research activities and grant/project proposals.

Job Requirements:

• PhD degree in Computer Science / Mathematics or related fields
• At least 5 years of ecperience
• PhD specialization in formal methods, computational logic, or related topics, with track record of high-quality publications in top-tier venues.
• Proficiency in proof assistants such as Isabelle/HOL, Coq, or Lean will be beneficial.
• Knowledge or experience in cybersecurity will be beneficial.

Desired Attributes

• Ability to deeply investigate the topics of interest, leading to high-quality and impactful research output.
• Applicants should be motivated, resourceful, and analytical individuals.
• Possess good interpersonal, presentation and communication skills.

The above eligibility criteria are not exhaustive. A*STAR may include additional selection criteria based on its prevailing recruitment policies. These policies may be amended from time to time without notice. We regret that only shortlisted candidates will be notified.