Job Description
Seeking mathematicians with expertise in Lean and formal proof languages to translate informal mathematical proofs into machine-verifiable formalizations, pushing the boundaries of automated verification.
Ready to Apply?
Take the next step in your AI career. Submit your application to Alignerr today.
Submit Application