verification Jobs in Lausanne

EPFL in Lausanne invites applications for a Postdoc in the Networked Systems Abstractions Lab (LASeR). You will advance research in programming languages, formal methods, and networking, with opportunities to design language features, verify properties, and build verified implementations.The candidate holds a PhD (or near completion) in CS or a closely...

As a Senior Mixed Signal Verification Engineer at Melexis, you will verify the mixed-mode design (analog, digital and embedded software) of our products as based on high-level requirements. More specifically, you will: Be responsible for the mixed-signal functional verification of system functions. Participate in the definition of the digital...

Melexis seeks a Senior Mixed-Signal Verification Engineer in Lausanne to verify analog, digital and embedded software across products. You will define digital specs, develop high-level models and test benches, and perform detailed simulations to ensure top-level performance.You will act as an interface across system, analog, digital and test teams in a...

The Keystone project at EPFL in Lausanne seeks exceptional candidates in formal methods and computer systems to advance machine-verified ML inference engines. You will contribute to GPU semantics, the coordination layer, and AI-assisted proof workflows, collaborating with Imperial College London on a high-profile ARIA effort.Applicants should hold a PhD (or...

Select how often (in days) to receive an alert: EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institutions: education, research and innovation. The EPFL...

About Us And Our ProjectThe Chair of Numerical Modelling and Simulation at EPFL is dedicated to the design and analysis of numerical algorithms for partial differential equations. Our research is oriented towards the development of novel and innovative numerical techniques aiming at improving the integration between numerical simulations and geometric...

EPFL invites applications for a Postdoc on the Keystone Project (Machine-Verified LLM Inference) in Lausanne. You will contribute to formally verified AI systems, work with Rocq/Lean, and collaborate across an ARIA-funded program with Imperial College London. Strong publication record and independence are expected.The role offers international collaboration,...

Quality Assurance Engineer pharma - KGRESSOURCES KGRESSOURCES recrute ! Consultez toutes nos offres d'emploi et postulez en ligne. À propos du poste We are currently looking for Quality Assurance Engineer Operations About the job: Perform QA reviews for qualification and validation documentation (DQ, IQ, OQ, PQ, process validation) Handle deviations,...

IC Resources is seeking a Senior IC Layout Engineer for a growing semiconductor team in Lausanne. The role features a hybrid working model with three days per week in the office and a focus on custom analog layout and physical verification.You will handle layout and verification for high-speed designs, including multi-gigabit SerDes and memory interfaces,...

About The EPFL Networked Systems Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains: Designing...

📜 Context For one of our clients, an international technology company developing advanced communication solutions, we are looking for a Systems Test Engineer to join their engineering team in Lausanne. You will work on the development and verification of active phased-array antenna systems, combining RF communication chains, power and control...

📜 Context For one of our clients, an international technology company developing advanced communication solutions, we are looking for a Systems Test Engineer to join their engineering team in Lausanne. You will work on the development and verification of active phased-array antenna systems, combining RF communication chains, power and control...

Select how often (in days) to receive an alert:EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than 6,500 people supporting the three main missions of the institutions: education, research and innovation. The EPFL...

I am exclusively recruiting for an R&D Analog IC Design Engineer to join my client’s Advanced R&D team in Switzerland. This is a research-focused position for an engineer who enjoys developing new circuit concepts and solving challenging problems in high-speed semiconductor design. The role will involve working on advanced analog and mixed-signal circuits,...

About UsOne team. Global challenges. Infinite opportunities. At Viasat, we’re on a mission to deliver connections with the capacity to change the world. For more than 35 years, Viasat has helped shape how consumers, businesses, governments and militaries around the globe communicate. We’re looking for people who think big, act fearlessly, and create an...

I am recruiting for a Senior IC Layout Engineer to join my client’s growing semiconductor team in Lausanne. The role offers hybrid working, with 3 days per week in the office.The Senior IC Layout Engineer will be responsible for custom layout and physical verification of analog circuits, blocks and IP used in advanced high speed semiconductor designs,...

EPFL invites a skilled software engineer to turn verified research prototypes into production-grade, high-performance inference software. The role emphasizes systems programming, performance engineering, and collaboration with EPFL and Imperial College London researchers.Applicants should bring strong exposure to Python, C/C++, Rust and have an interest in...

IC Resources is seeking an R&D analog IC design engineer to join its Advanced R&D team in Switzerland. This research-focused role involves developing new circuit concepts and solving challenging problems in high-speed semiconductor design.The position covers analog and mixed-signal circuit development from early research and architecture through to circuit...

IC Resources seeks a Senior IC Layout Engineer to join their semiconductor team in Lausanne. The role offers hybrid working, with 3 days per week in the office, and focuses on analog layout and physical verification for high-speed designs.You will develop custom analog layouts, work on multi-Gigabit SerDes and memory interfaces, apply advanced layout...

Viasat is seeking an experienced Digital Payload Systems Engineer in Lausanne to lead end-to-end digital payload architecture, performance, requirements, and verification. You will act as a senior technical authority on FPGA/ASIC based digital systems, guiding architecture decisions and cross-functional coordination while mentoring other engineers.Ideal...