Job opportunity
Remote Lean 4 Proof Architect for AI
Alignerr Corp.
Alignerr Corp. seeks a Formal Verification Scientist to translate advanced mathematical arguments into precise Lean 4 formalizations. You will work at the frontier of AI research and mechanized mathematics, turning proofs into machine-checkable scripts.
The role is a fully remote hourly contract, requiring rigorous proof construction and collaboration with AI researchers to improve verification pipelines. 10–40 hours per week are possible.
#J-18808-Ljbffr
Apply on source site The role is a fully remote hourly contract, requiring rigorous proof construction and collaboration with AI researchers to improve verification pipelines. 10–40 hours per week are possible.
#J-18808-Ljbffr