Scientist / Senior Scientist, Cybersecurity, I2R

Agency for Science, Technology and Research (A*STAR); Singapore; On-site; SGD 60,000 - 80,000; Full time

Job summary

An established industry player is seeking a research scientist to join their innovative team focused on trustworthy formal methods. This role offers the opportunity to conduct impactful research in areas such as automated reasoning and algorithm verification. You will be involved in supervising students and disseminating your findings through high-quality publications and presentations. Ideal candidates will possess a PhD in Computer Science or Mathematics, with a strong background in formal methods. If you are motivated and analytical, this position is a perfect fit for you to make a significant contribution to the field.

Qualifications

• PhD specialization in formal methods or computational logic required.
• Proficiency in proof assistants is beneficial.

Responsibilities

• Conduct research in trustworthy formal methods.
• Supervise students in relevant research tasks.
• Publish and present research findings.

Skills

Research in formal methods

Analytical skills

Interpersonal skills

Presentation skills

Communication skills

Education

PhD in Computer Science

PhD in Mathematics

Tools

Isabelle/HOL

Coq

Lean

Job description

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.