Postdoctoral Researcher in Formal Verification and Algorithm Discovery for Numerical Analysis

Ecole Polytechnique Federale de Lausanne

Posted: 20 October 2026 - Lausanne, Switzerland

View on careers.epfl.ch Back to all openings

About this opening

? This summary is AI-generated from the source advert. Check the original posting for authoritative details before applying.

EPFL is seeking a postdoctoral researcher to explore formal verification and algorithm discovery in numerical analysis. The ideal candidate will have a PhD in mathematics or computer science, a strong background in formal verification, and experience with AI-assisted theorem proving. The position offers a collaborative environment and the opportunity to publish internationally. Applications will be reviewed until filled.

Position details

? These details are extracted from the source advert. Check the original posting for authoritative requirements and dates before applying.

Related openings

More at Ecole Polytechnique Federale de Lausanne More in Switzerland More in mathematics More about numerical analysis Browse all open jobs