Scientist/Senior Scientist, I2R.

Job DescriptionThe 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 ResponsibilitiesResearch 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 fieldsPhD 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 AttributesAbility 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.
#J-18808-Ljbffr