More jobs:
Lean Formal Methods Researcher - Remote
Remote / Online - Candidates ideally in
Miami, Miami-Dade County, Florida, 33222, USA
Listed on 2026-02-28
Miami, Miami-Dade County, Florida, 33222, USA
Listing for:
Alignerr
Remote/Work from Home
position Listed on 2026-02-28
Job specializations:
-
Research/Development
Research Scientist
Job Description & How to Apply Below
A tech-focused research organization is seeking an Applied Formal Methods Researcher to work remotely. This position involves translating informal mathematical proofs into formal verifications using Lean, along with collaborating on advanced formal verification projects. Ideal candidates will have a Master’s or higher in a related field and strong experience in formal proof writing and automated reasoning. Competitive pay between $70–$150 per hour reflects the expertise required for this role.
#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:
×