Scientist / Senior Scientist, Cybersecurity, I2r

1 week ago


Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

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.
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.
**Type of Employment**: Full-Time
**Work Location**: Fusionopolis


  • Research Scientist

    3 days ago


    Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    Job Description A Research Scientist position is available immediately at the Institute for Infocomm Research approaches, including drift detection, sample selection and continual/online learning. **machine learning background**: continual leanring, online learning, anomaly detection, curriculum learning, meta-learning, Unsupervised learning, Bayesian...


  • Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    The Yu Lab (launching in April 2025) at the Genome Institute of Singapore (GIS), A*STAR, is a chemical biology lab dedicated to translational research targeting cellular nucleic acids. We integrate functional genomics, chemical biology, and molecular pharmacology to advance RNA- and DNA-targeted drug discovery. Our goal is to re-engineer small molecules and...


  • Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    At A*STAR, we make it our mission to attract and develop a diversity of talent along the research, innovation, and enterprise value chain, with career paths developed for scientists, engineers, and entrepreneurs. In return, we commit to investing in the personal and professional growth of each of our officers. CFAR has a team of exemplary AI researchers...


  • Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    At A*STAR, we make it our mission to attract and develop a diversity of talent along the research, innovation, and enterprise value chain, with career paths developed for scientists, engineers, and entrepreneurs. In return, we commit to investing in the personal and professional growth of each of our officers. CFAR has a team of exemplary AI researchers...


  • Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    Research Scientist (Metabolic Engineering Research Lab) We are seeking a highly driven research scientist to be part of a multi-disciplinary team involved in discovery of enzymes involved in biosynthesis of modified nucleotides and nucleic acids. **The research scientist will**: - Discover biosynthetic pathways for noncanonical nucleotides and DNA...


  • Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    **his/her responsibilities**: Play a leadership role in the 6G research; - Singapore prioritized area(s); - Contribute to elevate leadership position in the related areas for I2R, A*STAR, and - Singapore communications and networks, with proven track record in research outputs and outcomes.


  • Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    Be able to work as a lead scientist for the development of purification process and analytics for the production of a variety of emerging biotherapeutics, such as bispecific and multi-specific antibodies, vaccines, viral vectors and nucleic acid therapies. - Be able to lead a few research officers to work on different industrial collaboration projects and...


  • Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    A*STAR Centre for Frontier AI Research (CFAR) Singapore is seeking an exceptional Computer Vision/Machine Learning Scientist to expand our dynamic and multi-disciplinary AI team. We are looking for two-research scientists with a background in Computer Vision and Machine learning to work on human action understanding using neurosymbolic AI approaches....


  • Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    **Principle Roles & Responsibilities**: Lead and design preclinical research programs focused on identifying and validating novel therapeutic targets in immunology. Develop and optimize cell-based assays, flow cytometry panels, and molecular biology techniques to support drug discovery. Participate in the evaluation of internal as well as external...


  • Buona Vista, Singapore A*STAR Agency for Science, Technology and Research Full time

    Researchers must be willing to work on multi-disciplinary research projects at the intersection of computational neuroscience and AI. This includes designing human behavioral experiments and collecting human responses, alongside developing computational models of cognitive functions. ? **Requirements**: 1. Ph.D degree in computer science/engineering,...