Remote Formal Verification Scientist - Lean 4 & Mathlib
Huntersville, Mecklenburg County, North Carolina, 28070, USA
-
Research/Development
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.
We invite applications for the Remote Formal Verification Scientist
- Lean 4 & Mathlib position located in Charlotte, AR, United States.
We are currently recruiting a Remote Formal Verification Scientist
- Lean 4 & Mathlib for our team in Charlotte, AR, United States.
This is an excellent opening to take on the Remote Formal Verification Scientist
- Lean 4 & Mathlib role at Alignerr Corp.
As a Remote Formal Verification Scientist
- Lean 4 & Mathlib, you will play an important part at Alignerr Corp. in Charlotte, AR, United States.
(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