More jobs:
Remote Lean Proof Engineer - Mathematical Formalization
Remote / Online - Candidates ideally in
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listed on 2026-06-13
City of Edinburgh, Edinburgh, City of Edinburgh Area, EH1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-13
Job specializations:
-
Engineering
Mathematics
Job Description & How to Apply Below
Location: City of Edinburgh
Alignerr is seeking a Lean 4 Proof Engineer to translate informal mathematical proofs into machine-verifiable formalizations. This fully remote role requires a strong foundation in mathematics and hands-on experience with proof assistants. You will work on cutting-edge AI projects and have the flexibility to structure your hours around your life.
This is an excellent opportunity to contribute to serious mathematical work while enjoying freelance autonomy.
#J-18808-LjbffrNote that applications are not being accepted from your jurisdiction for this job currently via this jobsite. Candidate preferences are the decision of the Employer or Recruiting Agent, and are controlled by them alone.
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
To Search, View & Apply for jobs on this site that accept applications from your location or country, tap here to make a Search:
Search for further Jobs Here:
×