formal methods

Voyage Consultants Pte. Ltd. is seeking an Applied Scientist with a strong background in mathematics, computer science, and computational research to develop advanced AI solutions and trustworthy AI.The role blends research and software development, applying formal reasoning and symbolic techniques to enhance AI reliability, security, and performance. You...

Voyage Consultants Pte. Ltd. is seeking an Applied Scientist with a strong background in mathematics, computer science, and computational research to develop advanced AI solutions and trustworthy AI. The role blends research and software development, applying formal reasoning and symbolic techniques to enhance AI reliability, security, and performance. You...

Job Overview We are seeking an Applied Scientist with a strong background in mathematics, computer science, and computational research to develop advanced solutions in artificial intelligence, machine reasoning, and trustworthy AI.The role combines research and software development, applying mathematical reasoning, formal methods, and computational...

The Deutsche Bank Internship Program in Singapore provides formal training and on‑the‑job experience to develop your skills while you build a professional network across the bank. You’ll work on real projects and gain insight into how we deliver for clients worldwide.Joining Group Strategic Analytics, you’ll apply quantitative methods, model...

MediaTek in Singapore seeks an experienced engineer to drive NPU physical implementation through scripting, automation, and data-driven design decisions. You will mine existing NPU designs and propose optimised PPA strategies for next-generation cycles. Candidates should have strong Python/Perl scripting, NPU familiarity, and verification knowledge across...

NTU Singapore invites applications for a Research Fellow to advance research in formal verification, machine learning and AI system assurance. You will develop new methods and tools to analyse, verify and improve correctness, robustness and reliability of deep neural networks and AI-enabled software systems. The role involves conducting independent research,...

Tandoor Lounge is seeking a Kitchen Assistant in Singapore to support our chefs with daily food preparation, kitchen cleanliness and stock handling. No formal chef training required—we train you on our recipes and methods; reliability, neat work and pace are valued in a busy service. You will wash and prep ingredients, assist with plating and packing...

Sampling and testing of raw materials, in-process materials and finished products; The finished product is correctly packaged and checked, according to defined procedures; Record results of inspection and finished products is formally assessed against specification; Perform test methods and equipment calibration; Provide analytic reports for management...

Job Description & Requirements . Good Driving Skills 14 Foot Lorry with good knowledge of singapore roads . Pick from Air Cargo and Delivery to various location as per daily order . Able to carry 10 -15 kg boxes to load and unload . Able to work week ends and public holiday . No formal education . Able to use simple billing method / manual /...

Synapxe in Singapore seeks a Senior Manager, Transformation Methods & Performance to drive governance, performance monitoring and end-to-end process harmonization across the public healthcare IT transformation programme. You will translate complexity into actionable decisions, shape enterprise policies, and present insights to Synapxe Board and MOH/H...

The AUMOVIO-NTU Corp Lab is a strategic research collaboration between NTU and AUMOVIO, focusing on developing technically advanced solutions in the areas such as sustainable materials engineering, artificial intelligence, advanced communications and cybersecurity capabilities for future urban mobility applications. We aim to develop innovative solutions...

What you will do - Organize and archive site data and project documentation on the company server. - Assist the engineering team in compiling and formatting technical and project reports. - Assist in compiling method statements and submission documents. - Maintain Quality Management System (QMS) and ISO/IEC 17025 records, including document control,...

Sampling and testing of raw materials, in-process materials and finished products;The finished product is correctly packaged and checked, according to defined procedures;Record results of inspection and finished products is formally assessed against specification;Perform test methods and equipment calibration;Provide analytic reports for management...

Centre for Advanced Robotics Technology Innovation (CARTIN) is looking for a candidate to join them as a Research Fellow.Key Responsibilities:Carry out literature research on STOA of mission decomposition.Develop an efficient modeling framework that can capture a variety of operational requirements and uncertain operational environment. Develop an efficient...

Job Description Coordinate and supervise structural works and ensure works are carried out are in accordance to drawings, specifications, shop drawings and method statements. Arrange and facilitate RE/RTO inspections. To ensure site works are carried out according to daily / weekly site coordination schedule. Control and minimize material wastages....

ASSET MANAGEMENT PROCESS MANAGER 1. Understand various tools and organization units involved in Asset lifecycle and optimize the Asset Management process to work successfully though various tools for a complete asset lifecycle management2. Ensure that the Administrative staff responsible for ‘Asset Receiving’ and ‘Asset Tagging’ understand and...

ASSET MANAGEMENT PROCESS MANAGER 1. Understand various tools and organization units involved in Asset lifecycle and optimize the Asset Management process to work successfully though various tools for a complete asset lifecycle management 2. Ensure that the Administrative staff responsible for 'Asset Receiving' and 'Asset Tagging' understand and execute...

ASSET MANAGEMENT PROCESS MANAGER 1. Understand various tools and organization units involved in Asset lifecycle and optimize the Asset Management process to work successfully though various tools for a complete asset lifecycle management 2. Ensure that the Administrative staff responsible for ‘Asset Receiving’ and ‘Asset Tagging’ understand and...

ASSET MANAGEMENT PROCESS MANAGER 1. Understand various tools and organization units involved in Asset lifecycle and optimize the Asset Management process to work successfully though various tools for a complete asset lifecycle management 2. Ensure that the Administrative staff responsible for ‘Asset Receiving’ and ‘Asset Tagging’ understand and...

Senior Project Manager (Steel Structure) About the job Senior Project Manager (Steel Structure) Planning and designing of Civil and Structural worksincluding tunnel, facility building, utility & drainage structures and anyother structures included in the project.Review and verify all Civil and Structural related engineering works compliantto requirement...