Alignerr is seeking a Mathematical Formalization Specialist to translate rigorous mathematics into Lean and related proof systems, ensuring machine-verifiable proofs with mathematical rigor. The role emphasizes collaboration with AI research labs, exploring frontiers of formal verification, and advancing proof automation in a fully remote setup.
You will formalize informal arguments, analyze proof gaps, and contribute to scalable formalization projects, leveraging Lean, Coq, and other proof
#J-18808-LjbffrRemote Lean Formalization Specialist (Contract) in chicago at Unknown Company
This position is listed as full time and able to be worked remotely.