Artificial Intelligence Engineer for Theorem Proving and Formal Verification

Roles & ResponsibilitiesAbout the roleWe are looking for a LEAN Programming Engineer to take a hands-on implementation approach in designing, implementing, and optimizing our theorem-proving AI system. You will contribute to research and development of critical components of our AI architecture: (a) formalizing mathematical, scientific and engineering...

We are seeking a highly skilled Quantum Computing Research Scientist to join our team at the Singapore Institute of Technology. As a member of our research team, you will have the opportunity to contribute to cutting-edge research projects in quantum computing and formal verification.Job OverviewThe primary responsibility of this role is to deliver on a...

Roles & ResponsibilitiesAs 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...

About the RoleWe are seeking a highly skilled Quantum Research Engineer to join our team at the Singapore Institute of Technology. As a key member of our research team, you will be responsible for delivering on a research project focused on developing a scalable and comprehensive framework for formal verification of quantum programs.Key...

Job OverviewThis position is part of a research project funded by the Singapore Ministry of Education (MOE) at the Singapore Institute of Technology (SIT). As a Senior Quantum Research Engineer, you will be working on developing a scalable and comprehensive framework for formal verification of quantum programs.The primary responsibility of this role is to...

Deliver Excellence in Quantum ComputingWe are seeking a highly skilled Quantum Verification Expert to join our research team at the Singapore Institute of Technology. This is an exciting opportunity for you to contribute to cutting-edge research in quantum computing and make a meaningful impact in the field.In this role, you will be responsible for...

Job DescriptionViSenze, a pioneering AI-powered Commerce Search and Discovery platform, seeks an experienced Artificial Intelligence Project Manager to spearhead our efforts in developing innovative visual web solutions.We revolutionize the retail industry with product discovery platforms that process over a billion monthly queries globally from prominent...

About Seventh Sense Artificial IntelligenceAt Seventh Sense Artificial Intelligence Private Limited, we're a deep-tech company on a mission to make self-sovereign identity available to everyone. Our advanced biometric verification provides solutions for accurate face recognition and easy video analysis, shaping a safer, smarter future for all.We are backed...

Job DescriptionSingapore University of Technology and Design is seeking a highly skilled Research Scientist to join our team.The estimated salary for this role is SGD 80,000 - 120,000 per annum, depending on experience.About the RoleWe are looking for an exceptional researcher with expertise in deep learning and artificial intelligence to conduct...

Company OverviewSINGAPORE UNIVERSITY OF TECHNOLOGY AND DESIGN is a leading institution dedicated to innovation and technological advancements.Job DescriptionWe are seeking an experienced Artificial Intelligence Research Expert to join our team. As a Senior / Research Assistant, you will be responsible for conducting cutting-edge research in deep learning and...

{the opportunity}Introducing Blue Raven AIBlue Raven AI is a division within Hummingbird Bioscience with the mandate to build a foundational architecture for broad-based logical reasoning in AI (applicable beyond biotherapeutics to applications in mathematics, physics, chemistry, software/hardware, finance, etc.). Our goal is to build a system that can...

About the RoleKNOVEL ENGINEERING PTE. LTD. is a leading company in AI and software development. We are seeking an exceptional Artificial Intelligence Engineer to collaborate with our talented team.Job SummaryWe offer a competitive salary of SGD 6000 per month for this position. As an AI Development Associate, you will be responsible for developing...

Job DescriptionWe are seeking a highly skilled Digital IC Verification Engineer to join our team at ESPRESSIF SYSTEMS (SINGAPORE) PTE. LTD.About the Role:Develop verification plans based on design-related documentation and set up the verification environment for chip designs from multiple dimensions.Execute regression testing and enhance verification...

About the RoleAs a highly skilled Senior Artificial Intelligence Engineer, you will be responsible for building and deploying large-scale machine learning models into scalable services that meet the diverse needs of TikTok's live streaming business. This role requires expertise in deploying and servicing AI models, as well as collaboration with...

About Careers@GovCareers@Gov is a leading institution in the field of computer science, software engineering, and artificial intelligence. We are dedicated to providing high-quality education and training to our students.Job SummaryWe are seeking a highly skilled and experienced Software Development and Artificial Intelligence Instructor to join our team....

Job Title: Artificial Intelligence Lecturer PositionAbout Us: Careers@Gov is a leading institution in the field of Artificial Intelligence, dedicated to providing high-quality education and research opportunities.Job Summary: We are seeking an experienced lecturer to join our team as an Artificial Intelligence Lecturer. The successful candidate will be...

Job OverviewSAP, a leading provider of enterprise software solutions, is seeking an Artificial Intelligence Software Engineer Intern to join our team at the Generative AI Center of Excellence (GenAI CoE). As a key member of our Data Science, Artificial Intelligence, and Big Data (DAB) division within the Technology Services department, you will contribute to...

About UsWe are SEVENTH SENSE ARTIFICIAL INTELLIGENCE PRIVATE LIMITED, a deep-tech company on a mission to make self-sovereign identity accessible to everyone. Our cutting-edge software provides solutions for accurate face recognition and video analysis, shaping a safer future for all.

ByteDance PTE. LTD.About UsWe are a technology company dedicated to creating innovative products and services that inspire creativity and enrich life. Our mission is to push the boundaries of artificial intelligence and visual understanding, and we're looking for talented researchers to join our team.Salary: SGD 120,000 - 180,000 per annumJob DescriptionWe...

We are a cutting-edge technology company, CTC GLOBAL PTE. LTD., seeking an exceptional Artificial Intelligence Solutions Architect to spearhead the design and development of AI-driven solutions that drive real-world impact.Salary: SGD 120,000 - SGD 180,000 per annum, depending on experience.Job Description:We are searching for a visionary AI Engineer to join...