Post-doc on formal verification and algorithm discovery for numerical analysis

About us and our project

The 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 modelling and processing.

Proof assistants such as Lean, together with recent AI tools, are changing how mathematics is done. We are opening a postdoctoral position to explore what formal verification and algorithm discovery can bring to numerical analysis. There is no fixed project. The goal is to find out, through concrete experiments, where these approaches help in the design and analysis of numerical schemes for PDEs, and where they still fall short.

What you will do

As a postdoc in our group, you will set up and lead this new research line, choosing its directions together with us. Possible starting points are the formalization in Lean of stability and error estimates for finite element methods, or the AI-assisted discovery of new discretization paradigms for classes of PDEs where standard methods struggle, with their properties then verified formally. You will publish and present your work internationally.

You are the ideal candidate if

• You hold a PhD in mathematics, computer science or a related field
• You have a strong background in formal verification with Lean
• You have experience AI-assisted theorem proving or algorithm discovery is an asset
• You have working knowledge of numerical analysis, ideally numerical methods for PDEs
• You are independent and comfortable with open-ended research questions
• You communicate well in English and enjoy working at the boundary between disciplines

We offer

At EPFL, we believe that people achieve great results when they feel supported, respected and enabled to succeed. By joining our community, you will help shape the future of society through education, research and innovation.

We offer an inspiring, international and collaborative environment where your work has real impact and your ideas are valued. Combined with flexible ways of working and attractive employment conditions, we aim to create an environment where everyone can contribute, grow and make a difference.

Beyond work, our campuses host a vibrant community and unique environment, enriched by initiatives promoting equality, inclusion, diversity, well-being and sustainability as well as an engaging program of cultural, sports and community activities throughout the year.

Read about our employment conditions and employee benefits

If you are interested

Submit your application containing CV, motivation letter, and contact details for 2 references. In the motivation letter, briefly describe one question you would like to work on, linking numerical analysis with formal verification or algorithm discovery. Applications will be reviewed until the position is filled.

Starting date: As soon as possible

Activity Rate: 100%

Duration: A 1-year contract, renewable