Company: Alignerr
Location: Birmingham
Job Description:
Alignerr is seeking Applied Formal Methods Researchers to translate mathematical arguments into machine-verifiable Lean 4 formalizations. This fully remote role offers flexible hours and engages with cutting-edge AI research.
The ideal candidate will hold a Master’s degree in Mathematics or related fields and have experience with formal proof systems like Lean 4. Join us to redefine the boundaries of mathematical reasoning and AI capability.
#J-18808-Ljbffr…
Posted: June 2nd, 2026