3 year postdoc for Lean 4 experts (ProofBench project)

Stream: job postings

[Nathan Bowler]

We are recruiting a postdoctoral researcher to take a leading role in the ProofBench project, which is developing a trustworthy advanced mathematics benchmark suite for AI systems. The position will be for 3 years, based at TUBAF, the university in Freiberg.

The successful candidate will take the lead on large-scale grant applications, drive the project scientifically, contribute to building collaborations, and engage with the Lean formalisation ecosystem. We’re looking for people who know Lean well and know the Lean community well.

More details, including how to apply, are in the attached file here. Further information at Johannes Carmesin’s website here.