École Polytechnique Fédérale de Lausanne
Just Landed
Posted Yesterday
Postdoc in Formal Verification and Algorithm Discovery for Numerical Analysis at EPFL École Polytechnique Fédérale de Lausanne in Switzerland
Degree Level
Postdoc
Field of study
Computer Science
Funding
Postdoctoral employment at EPFL on a 1-year contract, renewable. Activity rate 100%. Attractive employment conditions are mentioned, but no stipend amount is given.
Country
Switzerland
University
École Polytechnique Fédérale de Lausanne

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
EPFL (École Polytechnique Fédérale de Lausanne) is advertising a postdoctoral position in the Chair of Numerical Modelling and Simulation, focused on formal verification and algorithm discovery for numerical analysis.
The project sits at the intersection of mathematics and computer science, with a strong emphasis on Lean, proof assistants, AI tools, and the design/analysis of numerical algorithms for partial differential equations (PDEs). The group is interested in exploring where formal methods and AI-assisted discovery can improve numerical schemes, and where they still fall short.
Possible research directions include formalizing stability and error estimates for finite element methods in Lean, or using AI-assisted discovery to propose new discretization paradigms for PDE classes that are difficult for standard methods, followed by formal verification of their properties.
Applicants should hold a PhD in mathematics, computer science, or a related field. A strong background in formal verification with Lean is required, while experience in AI-assisted theorem proving or algorithm discovery is considered an asset. The post also asks for working knowledge of numerical analysis, ideally numerical methods for PDEs, plus independence, comfort with open-ended research, and good English communication skills.
The position is a 100% postdoc contract for 1 year, renewable. EPFL highlights an international, collaborative environment and attractive employment conditions. No stipend amount is listed.
To apply, submit a CV, motivation letter, and contact details for 2 references. The motivation letter should briefly describe one research question you would like to pursue at the intersection of numerical analysis, formal verification, or algorithm discovery. Applications are reviewed until the position is filled.
Funding details
Postdoctoral employment at EPFL on a 1-year contract, renewable. Activity rate 100%. Attractive employment conditions are mentioned, but no stipend amount is given.
What's required
PhD in mathematics, computer science, or a related field; strong background in formal verification with Lean; experience with AI-assisted theorem proving or algorithm discovery is an asset; working knowledge of numerical analysis, ideally numerical methods for PDEs; independence and comfort with open-ended research questions; good English communication skills.
How to apply
Submit a 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. Apply through the EPFL careers page; applications are reviewed until the position is filled.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.