Postdoc position at University of East Anglia

Stream: job postings

[Chris Birkbeck]

I am happy to announce that we're hiring a Postdoctoral Researcher at the University of East Anglia (UEA) to join a collaborative project with David Roe and Andrew Sutherland

The project focuses on bridging the gap between the LMFDB (The L-functions and Modular Forms Database) and Mathlib. For example, formalising in Lean many of the invariants of number fields, modular forms and elliptic curves which are contained in the LMFDB.

The position is available from September 1, 2025 (or soon after) and extends until June 30, 2027.

Key Details:

• Application Deadline: 2025-08-10T23:59:00+01:00
• Full details and application instructions can be found here

Please feel free to DM me with any questions you may have.