Specialized Roles:
Job specializations:
-
Research/Development
AI Evaluation, Mathematics
Job Description & How to Apply Below
Lean formalization and rigorous proof construction shape how AI reasons at Alignerr, in a fully remote, flexible contract arrangement. Translate advanced mathematics into machine-verifiable logic.
As a Mathematical Formalization Specialist, you will convert human-written proofs into clear, structured formalizations. The work spans proof analysis, formal verification, and proof assistant limits. You will also support researchers refining formalization strategies and pipelines.
Key Responsibilities:- Translate informal mathematical proofs into Lean and related systems
- Analyze gaps, assumptions, and formalizable proof structures
- Construct formalizations where proof assistant automation breaks down
- Develop readable, reproducible proof scripts
- Investigate failures involving complexity, lemmas, or libraries
- Master's degree or higher in mathematics, logic, or related fields
- Deep fluency in rigorous proof writing
- Hands-on Lean, Coq, Isabelle/HOL, or Agda experience
- Enthusiasm for formal verification and proof assistants
- Ability to create machine-verifiable proofs with minimal scaffolding
Apply rigorous mathematics, Lean expertise, and formal verification skills to advance machine-verifiable reasoning at 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