Here is a 3-paragraph summary of the blog post for mathopen.com:
A postdoctoral position is available at the Chair of Numerical Modelling and Simulation at EPFL, led by Annalisa Buffa. The group focuses on designing and analyzing numerical algorithms for partial differential equations, sitting at the intersection of rigorous mathematical theory and practical computational methods. This is an exciting opportunity for researchers looking to work at a top institution on cutting-edge problems in numerical analysis.
The position centers on two emerging and highly relevant research directions: formal verification and algorithm discovery. Formal verification involves using proof assistants and computer-based tools to rigorously confirm the correctness of mathematical results and numerical methods, while algorithm discovery explores how automated and AI-assisted techniques can be used to identify new and improved computational approaches. Together, these directions represent a forward-looking vision for how modern mathematics and computation can reinforce each other.
This role would be well suited for candidates with a strong background in numerical analysis, mathematical computing, or formal methods, and who are eager to explore how new technologies are reshaping mathematical research. The position offers the chance to contribute to foundational work that could have lasting impact on how numerical algorithms are developed and validated. Interested researchers are encouraged to look into the full posting for application details and requirements.