Applied Researcher in Formal Methods (Lean4) - Axiomatic AI

Stream: job postings

[Arina Dobrowolska]

We're hiring at Axiomatic AI - our work focuses on developing verifiable, automated, interpretable reasoning toward general scientific intelligence.

We're looking for someone with 1+ year of Lean experience to contribute to formal verification and reasoning tools. Responsibilities will include assessing Lean4 code for formalization, writing specific Lean4 libraries, proof integrity, and overall code quality. You will also manage data curation, conduct benchmarking to evaluate performance, analyze reasoning flaws and propose solutions.

[Full job description here]

If you're interested, please apply directly, and feel free to message me here, or email me at arina@axiomatic-ai.com.

Also, if you know someone who might be a good fit, I’d be grateful if you could share this with them.