formal methods

OUR STORYAt STMicroelectronics, we believe in the power of technology to drive innovation and make a positive impact on people, businesses, and society. As a global semiconductor company, our advanced technologies and chips form the hidden foundation of the world we live in today. When you join ST, you will be part of a global business with more than 122...

OUR STORYAt STMicroelectronics, we believe in the power of technology to drive innovation and make a positive impact on people, businesses, and society. As a global semiconductor company, our advanced technologies and chips form the hidden foundation of the world we live in today.When you join ST, you will be part of a global business with more than 122...

OUR STORY At STMicroelectronics, we believe in the power of technology to drive innovation and make a positive impact on people, businesses, and society. As a global semiconductor company, our advanced technologies and chips form the hidden foundation of the world we live in today. When you join ST, you will be part of a global business with more than...

NTU Singapore invites applications for a PhD-level research role focused on formal methods, modeling and analysis of complex operations under uncertainty. The position emphasizes literature research, framework development, and sea-operations contexts. The successful candidate will publish in reputable journals (notably ICRA), collaborate with the project PI,...

## Research Fellow (Artificial Intelligence)Applylocations: NTU Main Campus, Singaporetime type: Full timeposted on: Posted Todayjob requisition id: R 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,...

STMicroelectronics seeks a highly qualified researcher to advance AI methods for digital twin verification and reliability. You will blend agentic AI with surrogate modeling to improve automation, correctness, and efficiency in digital twin development and analysis. The role focuses on formal verification, modeling, and applying Lean-based or related...

OUR STORY At STMicroelectronics, we believe in the power of technology to drive innovation and make a positive impact on people, businesses, and society. As a global semiconductor company, our advanced technologies and chips form the hidden foundation of the world we live in today. When you join ST, you will be part of a global business with more than 122...

## Research Fellow (Artificial Intelligence)Applylocations: NTU Main Campus, Singaporetime type: Full timeposted on: Posted Todayjob requisition id: R 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,...

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

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

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

BASTILLE PTE. LTD. in Singapore is seeking a Part-Time Pastry Assistant to support our pastry chef in preparing and producing high-quality French pastries.This role covers 20–30 hours per week, mainly on weekends, at our Joo Chiat kitchen. You will help with croissants, tarts, éclairs, and other classics, learning our recipes and methods while maintaining...

Purpose of the Posts Imperial Global Singapore, Imperial College London’s formal research and innovation entity in Singapore, is seeking (Senior) Research Fellows to join the exciting new Program Reasoning research project, an ambitious research programme developing the next generation of AI methods for reasoning about software, code, and formal...

. Relevant experience in food preparation and kitchen operations within a restaurant environment. . Strong knowledge of cooking techniques, food preparation methods, and kitchen management. . Good understanding of food safety, hygiene, and sanitation practices. . Ability to prepare a wide range of dishes while maintaining quality and consistency. ....

Relevant experience in food preparation and kitchen operations within a restaurant environment. Strong knowledge of cooking techniques, food preparation methods, and kitchen management. Good understanding of food safety, hygiene, and sanitation practices. Ability to prepare a wide range of dishes while maintaining quality and consistency. Experience in...

OUR STORY At STMicroelectronics, we believe in the power of technology to drive innovation and make a positive impact on people, businesses, and society. As a global semiconductor company, our advanced technologies and chips form the hidden foundation of the world we live in today. When you join ST, you will be part of a global business with more than 122...

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

Role Description The VLSI Design Engineer / Physical Design Engineer / Design Verification Engineer develops and validates integrated circuits to meet functional, performance, power, and area requirements. Depending on the assigned specialization, the role involves designing digital logic and microarchitecture, implementing physical chip layouts, or...

he Sous Chef is responsible for preparing and managing the production of authentic Indian dishes. This role requires in-depth knowledge of Indian cuisine, high-volume cooking experience, and the ability to lead kitchen staff to ensure food quality, consistency, and hygiene standards. Responsibilities: Plan and execute a variety of Indian dishes across...