×
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 Healthcare Administration

Remote Lean Formalization Specialist

Job in San Francisco, San Francisco County, California, 94199, USA
Listing for: Alignerr
Full Time position
Listed on 2026-01-01
Job specializations:
  • Government
    Mathematics, Healthcare Administration
Salary/Wage Range or Industry Benchmark: 50 - 150 USD Hourly USD 50.00 150.00 HOUR
Job Description & How to Apply Below
A leading AI partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on translating informal mathematical proofs into formal, machine-verifiable formats using Lean and other proof systems. Candidates should have a Master's degree in Mathematics or a related field and a strong background in rigorous proof construction and verification. The position offers competitive compensation ranging from $50 to $150 per hour, making it ideal for mathematically-minded individuals passionate about formal verification.
#JLjbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
 
 
 
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