At a Glance
- Tasks: Translate mathematical proofs into machine-verifiable formats in AI research.
- Company: Alignerr, a leader in AI research with a focus on formal proof systems.
- Benefits: Fully remote, flexible hours, and potential for ongoing contract extensions.
- Why this job: Join the forefront of AI research and make a real impact in formal verification.
- Qualifications: Advanced mathematics knowledge and experience with Lean 4 proof assistants.
The predicted salary is between 60000 - 80000 £ per year.
Alignerr is seeking a Researcher for Lean 4 and Formal Proof Systems.
In this fully remote and flexible role, you will translate mathematical proofs into machine-verifiable formats, contributing at the forefront of AI research.
The ideal candidate will have advanced knowledge in mathematics, hands-on experience with proof assistants like Lean 4, and a passion for formal verification.
This position offers autonomy and the potential for ongoing contract extensions as projects evolve. #J-18808-Ljbffr
We think you need these skills to ace Lean 4 Formal Proof Researcher — Remote
Advanced Knowledge in Mathematics
Hands-on Experience with Lean 4
Formal Verification
Machine-verifiable Formats
Proof Assistants
AI Research
Autonomy
