Remote Lean Researcher: Formal Proofs
Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listed on 2026-06-15
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-06-15
Job specializations:
-
Research/Development
Research Scientist, Artificial Intelligence, Research Analyst
Job Description & How to Apply Below
Alignerr is seeking a Researcher in Lean 4 and Formal Proof Systems to advance AI's understanding of formal proofs. This fully remote role requires a Master’s degree or higher in Mathematics or related fields, along with strong proof writing experience.
The successful candidate will engage in high-impact mathematical research, transforming informal mathematical arguments into structured, machine-verifiable proofs, and collaborating with global researchers in the field.
#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:
×