Scientist / Senior Scientist, Cybersecurity, I2R

A*STAR RESEARCH ENTITIES; Singapore; On-site; SGD 65,000 - 85,000; Full time

Job summary

A leading research institution in Singapore is seeking a Research Scientist to work on trustworthy formal methods. The candidate will oversee research projects, supervise students, and publish findings in esteemed forums. Ideal applicants will have a PhD in Computer Science or Mathematics, experience, and proficiency in proof assistants. This role provides an opportunity for impactful research and collaboration in a dynamic environment.

Qualifications

• PhD specialization in formal methods, computational logic, or related topics with a track record of high-quality publications.
• At least 2 years of experience.

Responsibilities

• Carry out research tasks in trustworthy formal methods.
• Co-supervise students in relevant research tasks.
• Disseminate completed research through publications and presentations.
• Participate in department-level research activities and proposals.

Skills

Proficiency in proof assistants such as Isabelle/HOL, Coq, or Lean

Knowledge or experience in cybersecurity

Education

PhD degree in Computer Science / Mathematics or related fields

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.
• At least 2 years of experience
• 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.