Remote Lean 4 Formal Methods Researcher
ARCHIVED
We can't find an active application page for this role right now. It may reopen or be listed elsewhere. Use Next Steps to search for an active apply link and similar live jobs.
Alignerr seeks a formal methods researcher to translate complex mathematical arguments into machine-verifiable proofs in Lean 4. This fully remote role is ideal for mathematicians passionate about formal verification and the future of mechanized mathematics.
Responsibilities include collaborating with AI researchers, constructing formal proofs, and analyzing assumptions in domain-specific contexts. Successful candidates must possess a Master's degree in a relevant field and have extensive experience with Lean or similar proof assistants.
#J-18808-Ljbffr