Remote Lean Formalization Specialist
-
Research/Development
AI Evaluation
Job Description & How to Apply Below
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
We have an opening for a Remote Lean Formalization Specialist (Contract) in Chicago, IL, United States within Bio & Pharmacology & Health.
We would love to welcome a new Remote Lean Formalization Specialist (Contract) to our organisation in Chicago, IL, United States.
For the Remote Lean Formalization Specialist (Contract) position at Alignerr Corp., we are reviewing applications now.
Step into the Remote Lean Formalization Specialist (Contract) role at Alignerr Corp. in Chicago, IL, United States and grow with us.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).