Job Description

Alignerr seeks an Applied Formal Methods Researcher to translate advanced mathematical arguments into Lean 4 formalizations, pushing the edge of modern proof assistants. This is a fully remote, hourly contract for mathematicians passionate about formal verification and machine-checkable reasoning.

Role involves translating proofs, analyzing structure, and developing reproducible formalizations, with collaboration across researchers to improve verification pipelines and extend library

#J-18808-Ljbffr

Ready to Apply?

Take the next step in your AI career. Submit your application to Alignerr today.

Submit Application