A*STAR Research | Scientist/Senior Scientist, I2R

7 hours ago


Singapore A*STAR Research Full time

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 a 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.
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.
#J-18808-Ljbffr



  • Singapore A*STAR RESEARCH ENTITIES Full time

    Roles & ResponsibilitiesJob 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 Responsibilities ...


  • Singapore A*STAR RESEARCH ENTITIES Full time

    Roles & ResponsibilitiesJob 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 Responsibilities ...


  • Singapore A*star Research Entities Full time

    The Advanced Remanufacturing and Technology Centre (ARTC) isa public-private partnership consortium of more than 80 industrymembers. Our core mission is to develop and deploy advancedmanufacturing solutions and upskill the workforce to drive localindustry competitiveness. Smart Virtual Systems (SVS) Group isseeking a highly motivated Scientist/ Senior...


  • Singapore A*STAR Research Full time

    Senior/Principal Scientist, Electromagnetics and Time Metrology (NMC)Job Description We are looking for a highly skilled and motivated Team Leader to join our optical clock development team and to lead a team of multi-disciplined metrologists and scientists to support our research programme in next-generation optical clocks. The ideal candidate will have a...


  • Singapore A*STAR Research Full time

    The Advanced Remanufacturing and Technology Centre (ARTC) is a public-private partnership consortium of more than 80 industry members. Our core mission is to develop and deploy advanced manufacturing solutions and upskill the workforce to drive local industry competitiveness. Smart Virtual Systems (SVS) Group is seeking a highly motivated Scientist/ Senior...


  • Singapore A*STAR RESEARCH ENTITIES Full time

    Roles & ResponsibilitiesThe Advanced Remanufacturing and Technology Centre (ARTC) is a public-private partnership consortium of more than 80 industry members. Our core mission is to develop and deploy advanced manufacturing solutions and upskill the workforce to drive local industry competitiveness. Smart Virtual Systems (SVS) Group is seeking a highly...


  • Singapore A*star Research Entities Full time

    The candidate is required to research and develop advancedmultimodal foundational model, with initial focus on speech andtext. The work involves defining and implementing novel deeplearning methodologies to achieve state-of-the-art performance fordifferent spoken language tasks. The candidate is also expected tocollaborate with other research scientists and...


  • Singapore Agency for Science, Technology and Research (A*STAR) Full time

    The CPPS group is seeking a highly motivated scientist or senior scientist to lead and conduct research in Industry 5.0 smart manufacturing solutions and integrating digital technologies with AI-enabled physical production systems that promote human-centricity, environmental sustainability, and value chain resilience in manufacturing. The ideal candidate...


  • Singapore A*STAR Research Full time

    Senior Principal Scientist (Autoimmunity and Inflammatory Diseases), SIgN The Singapore Immunology Network (SIgN), A*STAR, is seeking to appoint an outstanding Senior Principal Scientist to carry out internationally competitive research in Autoimmunity and Inflammatory Diseases. The research should investigate the pathophysiology of biological pathways and...


  • Singapore A*star Research Entities Full time

    JobOverview:The Institute ofMaterials Research and Engineering (IMRE) is a research instituteof the Agency for Science, Technology, and Research (A*STAR).Quantum Innovation Centre (Q.InC) is an A*STAR-level entity hostedwithin IMRE. Q.InC and IMRE are looking for a senior principalquantum scientist who has sufficient experience and proven trackrecord of...


  • Singapore A*star Research Entities Full time

    We are seeking to recruit a highly motivated Research Fellow/Research Scientist to support the institute's overall Research and Innovation goals. Job Description: The Research Fellow/Research Scientist will be responsible for engineering novel CAR-NK cells with superior anti-tumor efficacy, enhanced tumor infiltration, and excellent resilience against...


  • Singapore A*STAR Research Full time

    (Senior) Scientist, Bimolecular Structure to Mechanism/Atomistic Simulations & Design, BII The Bioinformatics Institute (BII), Agency for Science, Technology and Research (A*STR) is seeking applications for an outstanding scientist in the field of quantum computing. The Bioinformatics Institute (BII) is a computational biology research and postgraduate...


  • Singapore Agency for Science, Technology and Research (A*STAR) Full time

    The Advanced Remanufacturing and Technology Centre (ARTC) is a public-private partnership consortium of more than 80 industry members. Our core mission is to develop and deploy advanced manufacturing solutions and upskill the workforce to drive local industry competitiveness. Smart Virtual Systems (SVS) Group is seeking a highly motivated Scientist/ Senior...


  • Singapore A*star Research Entities Full time

    We are seeking to recruit a highly motivated ResearchFellow/Research Scientist to support the institute's overallResearch and Innovation goals.JobDescription:The ResearchFellow/Research Scientist will be responsible for engineering novelCAR-NK cells with superior anti-tumor efficacy, enhanced tumorinfiltration, and excellent resilience against the...


  • Singapore Agency for Science, Technology and Research (A*STAR) Full time

    Responsibilities The 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 Scientist or Senior Scientist tojoin a team developing a ribozyme-based RNA platform for potential translational and/or clinical applications. The work will involve both in vitro...


  • Singapore Agency for Science, Technology and Research (A*STAR) Full time

    A*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...


  • Singapore A*STAR RESEARCH ENTITIES Full time

    Roles & ResponsibilitiesThe A*STAR Institute for Human Development and Potential (A*STAR IHDP) focuses on research that aims to improve and impact the health and well-being of Singaporeans across the life course.Job Description:We are seeking for an enthusiastic and capable computational scientist to help identify protein or metabolite biomarkers of...


  • Singapore A*STAR RESEARCH ENTITIES Full time

    Roles & ResponsibilitiesThe A*STAR Institute for Human Development and Potential (A*STAR IHDP) focuses on research that aims to improve and impact the health and well-being of Singaporeans across the life course.Job Description:We are seeking for an enthusiastic and capable computational scientist to help identify protein or metabolite biomarkers of...


  • Singapore A*star Research Entities Full time

    We are seeking to recruit a highly motivated ResearchFellow/Research Scientist to support the institute's overallResearch and Innovation goals.JobDescription:The ResearchFellow/Research Scientist will be responsible for engineering novelCAR-NK cells with superior anti-tumor efficacy, enhanced tumorinfiltration, and excellent resilience against the...


  • Singapore Agency for Science, Technology and Research (A*STAR) Full time

    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:...