Specialized Roles:
Job specializations:
-
Research/Development
AI Evaluation, Mathematics, AI Business & Operations
Job Description & How to Apply Below
Lean 4 formalization and rigorous proof writing define this fully remote, flexible contract with Alignerr. Translate advanced mathematics into machine-verifiable proofs.
Alignerr seeks mathematicians and formal verification specialists for AI research involving formal proofs. You will analyze mathematical arguments, identify gaps, and express reasoning in Lean 4. The work examines problems beyond current automated provers while emphasizing clarity, structure, and correctness.
Key Responsibilities:- Translate informal mathematical proofs into Lean 4
- Analyze arguments for gaps and hidden assumptions
- Construct formalizations where automation breaks down
- Investigate automated prover failure modes
- Develop readable, reproducible proof scripts
- Master's degree or higher in a related field
- Rigorous proof writing across mathematical areas
- Hands-on experience with formal proof systems
- Lean 4 experience strongly preferred
- Ability to express arguments in machine-verifiable form
Apply formal mathematics, Lean 4, and precise reasoning to advance AI understanding of machine-verifiable proofs.
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(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
(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