At a Glance
- Tasks: Translate complex mathematical arguments into machine verifiable Lean 4 proofs.
- Company: Alignerr, a leader in formal verification with a remote and flexible work culture.
- Benefits: Flexible remote work, competitive salary, and opportunities for professional growth.
- Other info: Collaborative environment with opportunities to work alongside top researchers.
- Why this job: Join a team of innovators and make a significant impact in the field of formal verification.
- Qualifications: Master’s degree in mathematics or related field, with strong Lean and formal verification experience.
The predicted salary is between 60000 - 80000 £ per year.
Alignerr is looking for a Formal Verification Scientist to work on translating advanced mathematical arguments into machine verifiable Lean 4 proofs. This role is remote and flexible, appealing to mathematicians who enjoy rigorous proof construction.
You will analyze and formalize proofs, collaborate with researchers, and develop proof scripts that enhance formal verification.
A Master’s degree or higher in mathematics or a related field is required, with strong experience in Lean and formal verification.
Remote Lean 4 Formalization Scientist in Birmingham employer: Alignerr
Alignerr is an exceptional employer that fosters a collaborative and intellectually stimulating work environment, perfect for mathematicians passionate about formal verification. With a fully remote and flexible work structure, employees enjoy a healthy work-life balance while having access to continuous professional development opportunities. The company values innovation and encourages its team members to contribute to cutting-edge research, making it a rewarding place for those seeking meaningful and impactful work.
