At a Glance
- Tasks: Formalise advanced mathematics in Lean 4 and contribute to cutting-edge AI projects.
- Company: Alignerr, a leader in applied formal methods with a focus on innovation.
- Benefits: Fully remote, flexible hours, freelance autonomy, and potential for ongoing work.
- Other info: Ideal for mathematicians passionate about proof theory and computation.
- Why this job: Make a real impact at the intersection of human reasoning and machine verifiability.
- Qualifications: Master’s degree in a related field and strong proof writing skills.
The predicted salary is between 40000 - 60000 £ per year.
Alignerr is seeking Applied Formal Methods Researchers to formalize advanced mathematics in Lean 4, working at the interface of human reasoning and machine verifiability. This is a fully remote, flexible contract role ideal for mathematicians devoted to proof theory and computation.
The position allows you to contribute to cutting-edge AI projects and offers freelance autonomy with a potential for ongoing work.
Applicants should hold a Master’s degree in a related field and have a strong foundation in rigorous proof writing.
Remote Lean 4 Formal Methods Researcher (Contract) in Edinburgh employer: Alignerr
Alignerr is an exceptional employer for those passionate about formal methods and advanced mathematics, offering a fully remote and flexible work environment that promotes autonomy and innovation. With opportunities to engage in groundbreaking AI projects, employees can expect a culture of collaboration and continuous learning, making it an ideal place for mathematicians looking to grow their expertise while contributing to meaningful advancements in technology.
