JOB DESCRIPTION
The research engineer will be working with a team to carry out research work on cyber security topics using formal methods. The role will involve developing formal mathematical theories related to provable security in cryptography and to provably correct compilers.
JOB REQUIREMENT
- At least a Bachelor's Degree in Computer Science, Computer Engineering, Information Technology, Mathematics, or related fields
- Knowledge or experience in formal methods is required
- Knowledge or experience in cyber security will be beneficial
- Proficiency in proof assistants such as Isabelle/HOL, Coq, or Lean will be beneficial
- Motivated, Resourceful, Analytical individuals
- Ability to deliver under tight schedules
- 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.
