×
Apply for Jobs Apply for Jobs Post a Job Post a Job Local Jobs Home
Register Here to Apply for Jobs or Post Jobs. X

Remote Researcher: Lean 4 & Formal Proof Systems

Remote / Online - Candidates ideally in
Glasgow, Glasgow City Area, G1, Scotland, UK
Listing for: Alignerr
Remote/Work from Home position
Listed on 2026-01-02
Job specializations:
  • Research/Development
Job Description & How to Apply Below
A pioneering research organization is seeking a Researcher specializing in Lean and formal proof systems. This remote position involves writing advanced mathematical proofs for AI research and translating informal proofs into Lean. The ideal candidate will hold a Master's degree in Mathematics or a related field and have extensive experience with proof assistants like Lean.

This role offers competitive pay and the flexibility of remote work while contributing to cutting-edge projects in formal verification.
#J-18808-Ljbffr
Note 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:
 
 
 
Search for further Jobs Here:
(Try combinations for better Results! Or enter less keywords for broader Results)
Location
Increase/decrease your Search Radius (miles)

Job Posting Language
Employment Category
Education (minimum level)
Filters
Education Level
Experience Level (years)
Posted in last:
Salary
Advanced Search