More jobs:
Lean Formal Methods Researcher - Remote
Remote / Online - Candidates ideally in
Boston, Suffolk County, Massachusetts, 02298, USA
Listed on 2026-02-22
Boston, Suffolk County, Massachusetts, 02298, USA
Listing for:
Alignerr Corp.
Remote/Work from Home
position Listed on 2026-02-22
Job specializations:
-
Education / Teaching
Academic -
Engineering
Job Description & How to Apply Below
A leading formal verification company is seeking an Applied Formal Methods Researcher with expertise in formal proof languages, especially Lean. This remote role involves translating mathematical arguments into machine-verifiable formalizations. Ideal candidates should have a Master's in Mathematics or a related field, strong proof writing skills, and experience with Lean or similar systems. Competitive pay ranging from $70 to $150 per hour, with flexibility for hours worked and potential for contract extension.
#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).
(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:
×