Specialized Roles:
Job specializations:
-
Research/Development
AI Evaluation, Mathematics, AI Business & Operations
Job Description & How to Apply Below
Lean formal proof expertise can shape AI reasoning through machine-verifiable mathematics. This fully remote contract offers flexible hours on your own schedule.
Alignerr seeks a Mathematical Formalization Specialist with hands-on formal proof experience. You will translate rigorous arguments into Lean, analyze proof gaps, and construct clear formalizations. The work focuses on precision, structure, and extending proof assistants where automated tools struggle.
Key Responsibilities:- Translate informal mathematical proofs into Lean and related systems
- Identify gaps, hidden assumptions, and formalizable proof structures
- Construct readable, reproducible formal proof scripts
- Collaborate with researchers on formal verification strategies
- Explain automated prover limitations and underlying causes
- Master's degree or higher in mathematics or related fields
- Strong rigorous proof foundation across mathematical areas
- Hands-on Lean, Coq, Isabelle/HOL, Agda, or comparable experience
- Ability to express informal arguments for machine verification
- Comfort working independently and asynchronously remotely
Apply mathematical precision, Lean expertise, and formal verification skills to advance machine-verifiable AI reasoning with Alignerr.
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