Research Engineer
5 days ago
As a University of Applied Learning, SIT works closely with industry in our research pursuits. Our research staff will have the opportunity to be equipped with applied research skill sets that are relevant to industry demands while working on research projects in SIT. The primary responsibility of this role is to deliver on a research project, funded by Singapore Ministry of Education (MOE), where you will be part of the research team to develop a scalable and comprehensive framework for formal verification of quantum programs. The framework consists of the following deliverables: Intermediate Language . We plan to develop an intermediate language to model quantum programs. The intermediate language would be complete to describe all the desired characteristics of quantum computing while at the same time simple enough to be understood by most programmers. Formal Verification Framework . We plan to develop a comprehensive framework to verify the correctness of quantum programs written in the proposed intermediate language. Mechanization . We plan to mechanize the formal framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL. Proof Automation . We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and manage the research project with Principal Investigator (PI) and the research team members to ensure all project deliverables are met. Undertake these responsibilities in the project: develop an intermediate language to write quantum programs. develop a comprehensive framework to verify the correctness of quantum programs written in our intermediate language. mechanize the verification framework using state-of-the-art theorem provers such as Coq or Isabelle/HOL. develop formal methods for automatic reasoning that can be materialized into commercial tools. Carry out Risk Assessment, and ensure compliance with Work, Safety and Health Regulations. Coordinate procurement and liaison with vendors/suppliers. Work independently, as well as within a team, to ensure proper operation and maintenance of equipment. Job Requirements Have relevant competence in the areas of formal methods (including theorem proving and model checking), quantum computing, and software analysis/verification. Have a degree in computer science, computer engineering, electrical engineering, or related areas. Possessing a Master degree will be advantageous. Knowledge of quantum circuit design and quantum program analysis/verification will be advantageous. Key Competencies Able to build and maintain strong working relationships with people within and external to the university Self-directed learner who believes in continuous learning and development Proficient in technical writing and presentation Possess strong analytical and critical thinking skills Show strong initiative and take ownership of work #J-18808-Ljbffr
-
Research Engineer
3 days ago
Singapore NUS Environmental Research Institute Full time**Posting Start Date**:18/11/2024 The job holders are to work with PI and the research team to process air quality data and study small-scale dispersion of airborne pollutants in urban environment. **Qualifications** One or more of (but not limited to) the following: - Bachelor Degree in Engineering or relevant field - Experiences of (small-scale)...
-
Research Engineer
3 days ago
Singapore Menlo Research Pte Ltd Full time $120,000 - $180,000 per yearAbout UsWe are building the next generation of embodied intelligence: humanoid and mobile robots capable of performing complex, long-horizon tasks in unstructured real-world environments. Our mission is to enable scalable general-purpose autonomy through large-scale learning, multi-modal data, and robust control.We are looking for passionate engineers and...
-
Research Engineer
2 weeks ago
Singapore Singapore-MIT Alliance for Research and Technology Full time $100,000 - $150,000 per yearProject OverviewWe are hiring research engineers interested in advancing the state of the art in data-efficient machine learning at SMART in the new program: Mens, Manus and Machina: How AI empowers people and the city in Singapore (M3S) for a period of 1 year with possible renewal/extension. With the recent emergence of large language models (LLMs), the...
-
Research Engineer
17 hours ago
Singapore A*STAR RESEARCH ENTITIES Full timeJOB DESCRIPTION The Centre for Advanced Technologies in Online Safety (CATOS; was established in 2023 to host Singapore's Online Trust and Safety (OTS) Programme, a national research programme that leads the advancement of whole-of-nation technology capabilities to monitor and tackle online harms. The Systems Engineering Pillar of CATOS focuses on...
-
Research Engineer
17 hours ago
Singapore A*STAR RESEARCH ENTITIES Full timeJOB DESCRIPTION The Centre for Advanced Technologies in Online Safety (CATOS; was established in 2023 to host Singapore's Online Trust and Safety (OTS) Programme, a national research programme that leads the advancement of whole-of-nation technology capabilities to monitor and tackle online harms. The Systems Engineering Pillar of CATOS focuses on...
-
Research Engineer
17 hours ago
Singapore A*STAR RESEARCH ENTITIES Full timeAs a research institute within the Agency for Science, Technology and Research (A*STAR), Institute of Microelectronics (IME) bridges the gap between academia and industry. Our mission is to accelerate innovation in advanced packaging, piezoMEMS, power electronics, RF/mmwave GaN, photonics & sensors, and to develop talent and inspire in Singapore....
-
Research Engineer
17 hours ago
Singapore A*STAR RESEARCH ENTITIES Full timeA*STAR Centre for Frontier AI Research (A*STAR CFAR) is seeking a motivated and skilled Research Engineer to join our team focused on advancing trustworthy AI, with a specific emphasis on privacy-preserving methods for adapting large language model (LLM) to downstream tasks. The successful candidate will contribute to cutting-edge research on how to...
-
Singapore A*STAR Research Full timeA leading research organization in Singapore is seeking a Research Engineer for Ion Implantation. This role focuses on advancing semiconductor fabrication by supporting ion implantation processes and collaborating with senior scientists. Candidates should possess a relevant bachelor's degree and an understanding of ion implantation techniques. Join a...
-
Research Engineer
17 hours ago
Singapore A*STAR RESEARCH ENTITIES Full timeWe are seeking a passionate and highly motivated Research Engineer with a strong background in materials science and chemistry to contribute to the development and characterization of advanced polymeric materials for energy applications. This role involves material synthesis, processing, and in-depth characterization to enhance material performance in...
-
Research Associate
2 weeks ago
Singapore Forrester Research Full time**Job Description**: **Our job is to be bold at work.** It starts with an insatiable curiosity about clients, colleagues, and the future. At Forrester, we believe curiosity powers progress. Forresterites bring a diversity of opinions and the courage of their convictions to collaborate on the ideas and initiatives that change the course of business. As a...
