Applied Formal Methods Researcher
Save this job and keep your search organized
Create a free account to save jobs, create alerts and return to this listing from your dashboard.
By continuing, you agree to our Terms & Privacy Policy.
About The Role
What if your deep mathematical training could directly shape how AI understands and generates rigorous proofs? We're looking for mathematicians with hands-on formal verification experience to translate complex human arguments into machine-verifiable Lean 4 proofs — working at the very edge of what automated reasoning can do. This is a fully remote, flexible contract role for mathematically mature researchers who find beauty in precision and satisfaction in bridging the gap between human intuition and formal logic.
• Organization: Alignerr
• Type: Hourly Contract
•
Location:
Remote
• Commitment: 10–40 hours/week
What You'll Do
• Translate informal mathematical proofs into clean, structured Lean 4 formalizations — with an emphasis on clarity, correctness, and reproducibility
• Analyze proofs across domains to surface hidden assumptions, logical gaps, and formalizable sub-structures
• Construct formalizations that stress-test the limits of current proof assistants — especially where automated tools fall short
• Investigate and articulate why automated provers fail: complexity barriers, missing lemmas, insufficient library coverage, and beyond
• Collaborate with AI researchers to design and refine formal verification pipelines
• Provide expert guidance on proof decomposition, lemma selection, and structuring strategies for formal models
• Develop Lean proofs that reveal deeper generalizations or implicit patterns in existing mathematical arguments Who You Are
• Holder of a Master's degree or higher in Mathematics, Logic, Theoretical Computer Science, or a closely related field
• Deeply experienced in rigorous proof construction across areas such as algebra, analysis, topology, logic, or discrete mathematics
• Hands-on with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable formal systems — Lean strongly preferred
• Genuinely passionate about formal verification, proof assistants, and the future of mechanized mathematics
• Able to translate dense, informal mathematical arguments into precise, structured formal proofs
• Self-directed and comfortable working independently in an asynchronous, remote environment Nice to Have
• Familiarity with type theory, the Curry-Howard correspondence, and proof automation tools
• Experience contributing to large-scale formalization projects such as Mathlib
• Exposure to theorem provers where automated reasoning frequently requires manual scaffolding
• Prior experience with data annotation, data quality, or AI evaluation workflows
• Strong written communication skills for explaining formalization decisions, edge cases, and proof strategies Why Join Us
• Work directly on cutting-edge AI research projects alongside leading AI labs
• Fully remote and flexible — structure your work around your schedule
• Freelance autonomy with intellectually stimulating, high-impact work
• Operate at the frontier of formal mathematics and AI — mapping the boundary of what machines can reason about
• Potential for ongoing work and contract extension as new projects launch
-
Researcher - Lean 4 & Formal Proof Systems
5 days ago
Miami, Florida, United States Alignerr Remote Full-time $170 - $200 PermanentResearcher – Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape how AI reasons about proofs — and push the boundary of what machines can formally verify? We're looking for mathematicians and formal methods researchers to translate sophisticated mathematical arguments into Lean 4,...
-
Postdoctoral Researcher
5 days ago
Miami, Florida, United States Florida International University Full-timeAbout FIU Florida International University is a Top 50, preeminent public research university with 55,000 students from all 50 states and more than 140 countries, as well as an alumni network of more than 340,000. Located in the global city of Miami, the university offers more than 200 degree programs at the undergraduate, graduate and professional levels,...
-
Miami, Florida, United States Florida International University Full-timeAbout FIU Florida International University is a Top 50, preeminent public research university with 55,000 students from all 50 states and more than 140 countries, as well as an alumni network of more than 340,000. Located in the global city of Miami, the university offers more than 200 degree programs at the undergraduate, graduate and professional levels,...
-
Research Associate 1
3 days ago
Miami Beach, Florida, United States University of Miami Full-timeCurrent Employees:If you are a current Staff, Faculty or Temporary employee at the University of Miami, please click here to log in to Workday to use the internal application process. To learn how to apply for a faculty or staff position, please review this tip sheet.The University of Miami/UHealth Department of Dermatology has an exciting opportunity for a...
-
Research Associate 1, SOM
3 days ago
Miami, Florida, United States University of Miami Full-timeCurrent Employees: If you are a current Staff, Faculty or Temporary employee at the University of Miami, please click here to log in to Workday to use the internal application process. To learn how to apply for a faculty or staff position, please review this tip sheet. The University of Miami/UHealth Department of Psychiatry has an exciting opportunity for...
-
Research Associate 1, SOM
2 days ago
Miami, Florida, United States University of Miami Full-timeCurrent Employees:If you are a current Staff, Faculty or Temporary employee at the University of Miami, please click here to log in to Workday to use the internal application process. To learn how to apply for a faculty or staff position, please review this tip sheet.The University of Miami/UHealth Department of Dermatology has an exciting opportunity for a...
-
Clinical Research Coordinator 2
4 days ago
Miami, Florida, United States University of Miami Full-timeCurrent Employees: If you are a current Staff, Faculty or Temporary employee at the University of Miami, please click here to log in to Workday to use the internal application process. To learn how to apply for a faculty or staff position, please review this tip sheet. The Department of Clinical Translational Research Site, Otolaryngology is currently...
-
Research Associate 1
2 days ago
Miami, Florida, United States University of Miami Full-timeCurrent Employees:If you are a current Staff, Faculty or Temporary employee at the University of Miami, please click here to log in to Workday to use the internal application process. To learn how to apply for a faculty or staff position, please review this tip sheet.The University of Miami, Bascom Palmer Eye Institute, has an exciting full time opportunity...
-
Applied Learning Paralegal
5 days ago
Miami, Florida, United States Florida International University Full-time $60,000 - $70,000 ContractAbout FIU Florida International University is a Top 50, preeminent public research university with 55,000 students from all 50 states and more than 140 countries, as well as an alumni network of more than 340,000. Located in the global city of Miami, the university offers more than 200 degree programs at the undergraduate, graduate and professional levels,...
-
Temporary Research Assistant
5 days ago
Miami, Florida, United States Florida International University Full-time $15 - $16 PermanentAbout FIU Florida International University is a Top 50, preeminent public research university with 55,000 students from all 50 states and more than 140 countries, as well as an alumni network of more than 340,000. Located in the global city of Miami, the university offers more than 200 degree programs at the undergraduate, graduate and professional levels,...
