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
Requirements:
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