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