Scientist/Senior Scientist, I2R

2 weeks ago


Singapore A*STAR RESEARCH ENTITIES Full time
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
  • At least 5 years of ecperience
  • 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.

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

Machine Learning
Strategic Planning
Interpersonal Skill
Mathematics
Problem Solving
Research and Development
Communication Skills
Publications
Data Science
Communications

  • Singapore Jobscentral 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:...


  • Singapore Agency For Science, Technology And 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

    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 Jobscentral 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 THE MUSIC SCIENTIST PTE. LTD. Full time

    About the RoleTHE MUSIC SCIENTIST PTE. LTD. is seeking a highly qualified Music Educator and Early Childhood Specialist to join our team.


  • 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 Agency For Science, Technology And Research Full time

    Job Description:The CPPS group is seeking a highly motivated scientist or senior scientist to lead in the development of AI technologies to deliver impactful and innovative digital technologies for predictive/prescriptive analytics and decision support. He/she will be expected to define growth opportunities and new ways to engage industry to advance AI for...


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

    Scientist/Senior Scientist (Digital Manufacturing Division (DMD) / Cyber-Physical Production System (CPPS)), SIMTech Job Description: The CPPS group is seeking a highly motivated scientist or senior scientist to lead in the development of AI technologies to deliver impactful and innovative digital technologies for predictive/prescriptive analytics and...


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


  • Singapore Agency For Science, Technology And Research Full time

    JOB DESCRIPTION Research Scientist/Senior research scientist (Catalysis/AI scientist with process and chemistry background) The Emerging Technologies Division is looking for a proactive, highly motivated, and creative scientist to lead and contribute to research in carbon capture and utilization, sustainable processes for the environment, energy, and...

  • Senior Data Scientist

    4 weeks ago


    Singapore 5160 Kyndryl (Singapore) Pte. Ltd. Full time

    Meet the ChallengeAt Kyndryl, we are always pushing the boundaries of what is possible with data science and AI. As a Senior Data Scientist, you will have the opportunity to work on cutting-edge projects that will shape the future of technology.The RoleCollaborate with business stakeholders and data teams to design and implement GenAI solutions that meet...


  • 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 Full time

    JOB DESCRIPTION Research Scientist/Senior research scientist (Catalysis/AI scientist with process and chemistry background)The Emerging Technologies Division is looking for a proactive, highly motivated, and creative scientist to lead and contribute to research in carbon capture and utilization, sustainable processes for the environment, energy, and...


  • Singapore THE MUSIC SCIENTIST PTE. LTD. Full time

    Roles & Responsibilities Responsibilities Attend Teacher's training conducted by The Music Scientist or by other Early Childhood and Music Institutes Resources and material preparation for the purpose of lessons execution. Implement Music, Movement and Sensory/Science programmes curated by The Music Scientist for children of ages 4...


  • Singapore THE MUSIC SCIENTIST PTE. LTD. Full time

    Roles & Responsibilities Responsibilities Attend Teacher's training conducted by The Music Scientist or by other Early Childhood and Music Institutes Resources and material preparation for the purpose of lessons execution. Implement Music, Movement and Sensory/Science programmes curated by The Music Scientist for children of ages 4...


  • Singapore APPLIED MATERIALS SINGAPORE TECHNOLOGY PTE. LTD. Full time

    Job OverviewWe are seeking an experienced Senior Materials Scientist to join our team at Applied Materials Singapore Technology Pte. Ltd.


  • Singapore Virtusa Full time

    Job TitleSenior Data Scientist EngineerAbout the RoleWe are seeking a highly motivated and experienced Senior Data Scientist Engineer to join our dynamic data engineering team at Virtusa in Moulmein-Kallang, Central Singapore. As a Senior Data Scientist Engineer, you will play a key role in developing and maintaining ETL processes to extract, transform, and...


  • 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 LONZA BIOLOGICS TUAS PTE. LTD. Full time

    LONZA BIOLOGICS TUAS PTE. LTD.About the RoleWe are seeking a highly skilled Senior Scientist to join our Purification Development team in Development Services, Lonza Singapore.As a Senior Scientist, you will have the opportunity to develop and enhance your technical and scientific capabilities as well as build on your technical leadership skills.You will be...


  • Singapore NTU (Nanyang Technology University- MainOffice-HR) Full time

    At NTU, we seek a highly motivated and talented Senior Research Scientist to join our esteemed faculty in the School of Biological Sciences. As a Senior Research Scientist, you will have the opportunity to conduct cutting-edge research in macromolecular assembly and biomolecular phase separation in actin remodeling, as well as the mechanosensing roles of the...