Remote Lean Formal Methods Researcher
Remote / Online - Candidates ideally in
Manchester, Greater Manchester, M9, England, UK
Listed on 2026-06-06
Manchester, Greater Manchester, M9, England, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-06
Job specializations:
-
Research/Development
Job Description & How to Apply Below
Alignerr is seeking an Applied Formal Methods Researcher to transform mathematical proofs into machine-verifiable formats using Lean
4. This role emphasizes collaboration, rigorous proof writing, and working at the forefront of AI reasoning.
Ideal candidates hold a Master's or higher in relevant fields and have hands-on experience with proof assistants. The position offers full freelance autonomy while contributing to groundbreaking projects.
#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:
×