Scientist / Senior Scientist, Cybersecurity, I2R - A*STAR RESEARCH ENTITIES
8 hours ago
Roles & Responsibilities 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. Tell employers what skills you have Strategic PlanningCellFDATechnology
-
Singapore A*STAR RESEARCH ENTITIES Full timeJOB 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:...
-
Singapore A*STAR RESEARCH ENTITIES Full timeJOB 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:...
-
A*STAR RESEARCH ENTITIES
8 hours ago
Singapore A*STAR RESEARCH ENTITIES Full timeRoles & Responsibilities We are looking for researchers who have a passion in modelling complex large-scale urban systems. They will work with a team of scientists and engineers that have a passion in understanding the dynamics of large-scale socio-technical systems such as power systems and energy infrastructure or urban transportation (land, air or sea)....
-
Singapore A*STAR RESEARCH ENTITIES Full timeRoles & Responsibilities The Yu Lab has an opening position for Scientist recently and are looking for a highly motivated Scientist to join our team and contribute to innovative RNA-targeted therapeutic discovery. We are a chemical biology lab dedicated to translational research targeting cellular nucleic acids. This project is to engineer antisense...
-
Singapore A*STAR RESEARCH ENTITIES Full timeRoles & Responsibilities The PROFESS Lab is looking to hire a research scientist in the area of organic optoelectronics – in particular for optical spectroscopic characterization of materials, device fabrication and device physics. The project is funded by a grant awarded to the Principal Investigator (Dr. Le Yang)We are looking for a passionate and...
-
Principal Scientist, A*STAR IDL
2 days ago
Singapore A*STAR RESEARCH ENTITIES Full timeA*STAR Infectious Diseases Labs (A*STAR IDL) is seeking for a Principal Scientist to join us in our mission to be a leading centre of infectious diseases research. A*STAR IDL aims to develop a cohesive A*STAR response to drive and deliver translational infectious diseases research to better health and economic outcomes. Job Description: Leads conceptual and...
-
Research Fellow/Research Scientist
2 days ago
Singapore A*STAR RESEARCH ENTITIES Full timeThe lab of RNA in Disease and Translational Technologies at the Institute of Molecular and Cell Biology, A*STAR, Singapore is seeking to recruit a highly motivated Postdoctoral Research Fellow/Scientist or Senior Postdoctoral Research Fellow/Scientist to join a team developing a ribozyme-based RNA platform for therapeutic applications (including neurological...
-
Research Scientist/Senior Scientist
8 hours ago
Singapore A*STAR RESEARCH ENTITIES Full timeOverview We are looking for researchers who have a passion in modelling complex large-scale urban systems. They will work with a team of scientists and engineers that have a passion in understanding the dynamics of large-scale socio-technical systems such as power systems and energy infrastructure or urban transportation (land, air or sea). Shortlisted...
-
Singapore A*STAR Research Full timeScientist/Senior Scientist, Oligonucleotides Chemistry Posting Date : 18 Aug 2025 | Closing Date :17 Oct 2025Job Title: Scientist/Senior Scientist, Oligonucleotides Chemistry Organization: Platform Technology Job Type: Full Time About NATi: The Nucleic Acid Therapeutics Initiative (NATi), hosted by A*STAR, is Singapore?s national platform dedicated to...
-
Research Scientist
1 week ago
Singapore A*STAR Research Full timeOverview A*STAR Centre for Frontier AI Research (A*STAR CFAR) seeks highly motivated scientists with talents and inclination to conduct cutting-edge research, develop and execute research strategies in Safe and Trustworthy AI. Responsibilities Work with AI scientists in A*STAR CFAR to develop Safe and Trustworthy AI algorithms and solve challenging...
