Formal Methods Jobs In Switzerland - 18 Job Positions Available

Job Description This position focuses on the development and deployment of beam optimisation and machine learning (ML) tools for the CERN ion accelerator complex. The objective is to transform expert-driven optimisation and ML methods into reliable operational

Lead Applied Scientist, Search - NLP/GenAI This position is based in either Zug, Switzerland or London, UK. Want to use your experience of building search-led AI solutions to enhance our leading products in the tax, legal

INTERNATIONAL TELECOMMUNICATION UNION ITU is the leading United Nations agency for information and communication technologies, with the mission to connect the world. To achieve this, ITU manages the radio-frequency spectrum and satellite orbits at the international

Role Overview We are seeking an experienced Senior PowerShell Automation & Deployment Engineer to design, implement, and support automation, deployment, and system-management solutions across on-premises Microsoft infrastructure and Microsoft Azure environments. The successful candidate will play

Salary Range:CHF142,100.00 - CHF263,900.00 Job Description SummaryThe Director, Portfolio Analytics leads major portfolio analytics workstreams that inform enterprise, franchise, TA, and senior leadership decisions. The role shapes analytical approaches, interprets portfolio-level implications, advises stakeholders on value

At JTI we celebrate differences, and everyone truly belongs. 46,000 people from all over the world are continuously building their unique success story with us. 83% of employees feel happy working at JTI. To make a

Job Description Looking for an opportunity to apply your mechanical engineering skills to the upgrade of the worlds most powerful particle accelerator? Join CERNs Vacuum, Surfaces and Coatings (VSC) Group and contribute to the upgrade of

Changing lives. Building Careers. Joining us is a chance for you to do important work that creates change and shapes the future of healthcare. Thinking differently is what we do best. To us, change equals opportunity.

At Johnson & Johnson,we believe health is everything. Our strength in healthcare innovation empowers us to build aworld where complex diseases are prevented, treated, and cured,where treatments are smarter and less invasive, andsolutions are personal.Through our

Job Description Are you interested in developing measurement, control and monitoring tools that are used on real scientific infrastructure? You will join a team working on various measurement instrumentation and control applications used to operate, supervise,

At Roche you can show up as yourself, embraced for the unique qualities you bring. Our culture encourages personal expression, open dialogue, and genuine connections, where you are valued, accepted and respected for who you are,

At Johnson & Johnson,we believe health is everything. Our strength in healthcare innovation empowers us to build aworld where complex diseases are prevented, treated, and cured,where treatments are smarter and less invasive, andsolutions are personal.Through our

Job Description Do you want to contribute to solving a long-standing mystery of particle accelerators: why can tiny dust grains have such a big impact on high energy particle beams? This could be the perfect opportunity

Job Description The Engineering Department (EN) pushes the boundaries of technology to deliver innovative research tools to the global physics and engineering community. This position is within the Mechanical and Materials Engineering (MME) Group, which maintains

Job Title:Graduate Program – Quantitative Analysis Contract Type: Time Type: Job Description: Turn data into commercial insight. At Gunvor, quantitative analysis plays a critical role in helping our commercial teams understand markets, identify opportunities and make