×
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

Remote Lean Proof Architect

Job in Fall River, Bristol County, Massachusetts, 02720, USA
Listing for: Alignerr
Full Time position
Listed on 2026-06-12
Job specializations:
  • Energy/Power Generation
    Mathematics
Salary/Wage Range or Industry Benchmark: 150000 - 200000 USD Yearly USD 150000.00 200000.00 YEAR
Job Description & How to Apply Below
A forward-thinking mathematics firm is seeking a Mathematical Formalization Specialist to work remotely. In this role, you will translate informal mathematical proofs into structured formal proofs using Lean and related systems. A Master’s degree in Mathematics or a related field is required, along with hands-on experience in proof languages. The ideal candidate should have a strong foundation in rigorous proof writing and a deep enthusiasm for formal verification.

This position offers competitive hourly pay ranging from $50 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)
0
200
Filters
Education Level
Experience Level (years)
Posted in last:
Salary
Advanced Search