Remote Formal Verification Scientist - Lean 4 & Mathlib
-
Research/Development
Mathematics, AI Evaluation
Job Description & How to Apply Below
Alignerr is seeking a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs, at the frontier of mechanized mathematics. This fully remote, hourly contract role offers collaboration with AI research teams to shape verification pipelines and formalisations.
You'll work on translating informal proofs, analyzing sub-structures, and creating resilient proof scripts, with emphasis on Mathlib idioms and rigorous standards.
This opportunity is for the Remote Formal Verification Scientist
- Lean 4 & Mathlib role at Alignerr Corp.
Our group is growing, and we are hiring a Remote Formal Verification Scientist
- Lean 4 & Mathlib in Charlotte, AR, United States.
We are seeking a motivated Remote Formal Verification Scientist
- Lean 4 & Mathlib to join Alignerr Corp. in Charlotte, AR, United States.
Consider building your career as a Remote Formal Verification Scientist
- Lean 4 & Mathlib at Alignerr Corp.
(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).
View / Apply for Jobs
Matching My Jurisdiction