×
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
More jobs:
Mathematics Data Scientist

Remote Lean Formalization Specialist

Remote / Online - Candidates ideally in
England, UK
Listing for: Alignerr
Remote/Work from Home position
Listed on 2025-12-20
Job specializations:
  • Science
    Mathematics, Data Scientist
Job Description & How to Apply Below
A leading mathematics and computer science firm is looking for a Mathematical Formalization Specialist who is skilled in rigorous proof writing and has hands-on experience with Lean and related proof systems. In this remote position, you will translate informal mathematical proofs into machine-verifiable formalizations, analyze mathematical arguments to identify gaps, and collaborate with researchers on improving verification strategies.

This role offers an opportunity to work on cutting-edge formalization projects in a highly intellectual environment.
#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