Job Description
Alignerr is seeking Formal Verification Scientists to translate informal mathematical proofs into Lean 4 formalizations, shaping how AI understands and reasons about formal proofs. This role emphasizes correctness, clarity, and mathematical elegance across proofs and formal models. This fully remote hourly contract requires 10–40 hours per week and offers collaboration with AI researchers to advance formal verification pipelines and mechanized mathematics at the frontier of AI research. #J-18808-Ljbffr
