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

Remote Lean 4 & Mathlib Formal Verification Scientist

Remote / Online - Candidates ideally in
Dallas, Dallas County, Texas, 75215, USA
Listing for: Alignerr
Remote/Work from Home position
Listed on 2026-01-12
Job specializations:
  • Business
    Data Scientist
Salary/Wage Range or Industry Benchmark: 100000 - 125000 USD Yearly USD 100000.00 125000.00 YEAR
Job Description & How to Apply Below
A technology company is looking for a Formal Verification Scientist specializing in Lean 4 and Mathlib to formalize mathematical proofs for AI research. The candidate will translate informal proofs into machine-verifiable formats, analyze mathematical arguments, and collaborate with researchers to enhance verification strategies. Strong foundation in proof writing and a Master's degree in a relevant field are essential. This role is remote and offers hourly compensation ranging from $70 to $150.
#J-18808-Ljbffr
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