Lean 4 Formal Verification Scientist - Remote
Alignerr
Sheffield, TX
- Remote job
Alignerr is seeking mathematicians with serious formal verification experience to translate advanced mathematical arguments into machine-verifiable Lean 4 proofs. This remote, hourly contract role targets proofs that push the current limits of automated proof assistants, collaborating with AI teams to understand where these tools struggle and how to improve them. You will translate informal arguments into Lean 4 formalizations, analyze proofs across multiple domains, and develop reproducible #J-18808-Ljbffr Alignerr
Vacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Lean 4 Formal Verification Scientist - Remote in Sheffield, TX vacancy
- ...think? We're looking for Applied Formal Methods Researchers to... ...challenging mathematical proofs in Lean 4 — working at the very... ...AI research. This is a fully remote, flexible contract role built... ...are passionate about formal verification and want their work to matter...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
$170 per hour
...Mathematician (Foundations / Formalization) $170-200/hr Remote Freelance STEM About the Role What... ...especially if you know your way around Lean 4 — this is a rare opportunity to do... ...Prior experience with proof verification, theorem proving, or mathematical formalization...Remote workOngoing contractContract workFreelanceFlexible hoursAlignerr
United States1 day ago- ...Mathematician (Foundations / Formalization) About the Role What if... ...mathematical arguments in Lean 4 and contributing to large-scale... ...mathlib. This is a fully remote, flexible contract role for... ...Prior experience with proof verification, theorem proving, or...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr
New York, NY2 days ago - ...Purpose Job Description Systems Verification Scientist III Overview Waters... ...test methods, strategies, and formal verification protocols. Analyze... ...roles, we require a minimum of 4 days of in‑office presence per... ...and work‑life balance. Remote or field‑based positions will...Remote workHourly payWork at officeWorldwideShift work
$160k - $275k
...kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical... ...into interactive theorem provers (e.g. Lean 4, Rocq, Isabelle/HOL), and use those... ...+ 12 company Holidays + up to 3 weeks remote workHealth: Company-subsidized Medical...Remote workDaily paidFull timeWork experience placementLocal areaMonday to FridayFlexible hoursShift work$95 per hour
...Formal Methods (Lean 4) Expert is a remote review track for evaluating AI outputs across formal methods research review reasoning, calculations, and research workflows. Reviewers grade derivations and assumptions, reproduce key results, and document the correct method...Remote jobFor contractors10 hours per week- ...arguments. This role blends formal mathematical thinking,... ...prover tasks using Lean, translating problems and... ...for formalization and verification of proofs. Excellent... ...independently in a remote setting. Technical requirements... ...commitment: at least 4 hours per day and a...Remote workContract workFor contractorsFreelance
SaidGig
United Statesa month ago $3,841.07 - $4,494.53 per month
...Research Scientist 1 Requisition ID req37455... ...quality assurance, and final verification. Receive, inventory,... ...• At least 4 years of combined education... ...12 teaching/mentoring (formal or informal settings).... ...Incentive Eligible for Remote Work No Eligible...Remote workFull timeTemporary workWork experience placementInternshipUniversity of New Mexico
Albuquerque, NM4 days ago- ...the definition of design floods and the verification of energy generation Climate change risk... ...employee pension contributions between 4.5% and 7%. Life assurance equal up to... ...directly with senior leadership through formal channels to help shape our future. For...Remote workLocal areaFlexible hours
Mott MacDonald
United States4 days ago - SCS Global Services is seeking a Verification Scientist I, GHG Agriculture to perform audits of carbon projects across diverse agricultural and... ...visits, stakeholder interviews, and client communications in a remote work setting with travel. The ideal candidate has a strong...Remote job
- ...change.Job OverviewSCS' Greenhouse Gas (GHG) Verification Program has been verifying carbon... ...climate change communities.Verification Scientist I, GHG ForestryThe Verification Scientist... ...forest growth and yield models, GIS, and/or remote sensing informationConduct site visit...Remote workContract workWork at officeLocal areaWorldwideHome office
$70k - $87k
Verification Scientist I, GHG Agriculture SCS Global Services Remote · Emeryville, CA, US 5 days ago Job Description Company Overview SCS Global Services is a pioneer and leader in the field of sustainability standards and third-party certification, working across the...Remote workContract workWork at officeLocal areaWorldwideHome office$61 - $77 per hour
...physics assessments that help benchmark AI capabilities. This fully remote role involves either authoring original multiple-choice... ...Complete one of two task types: question authoring or question verification. For authoring assignments, create original, challenging multiple...Remote workHourly pay10 hours per weekSaidGig
United States2 days ago- ...Advisor, and Senior Foreign-Policy Advisor to four US presidents. About this Role In this role, you’ll develop new formal verification methods to enable formal proofs of design correctness using model checking, property verification, and equivalence analysis...
$71.42k - $124.18k
...experimental data. ~ Perform Verification & Validation of... ...fields) BS and 2-4 years experience or MS... ...physical models in the formal analysis of physical systems... ...skilled engineers and scientists. ~ Experience with... ...location (For Remote Opportunities), education...Remote workHourly payFull timeContract workTemporary workFor contractorsWork experience placementArcfield
Middletown, RI14 days ago$50 per hour
...solutions, and computational verification. You will design hard... ...theorem-prover tasks in Lean, translating problems and proofs into formal language and verifying... ...collaborate effectively in a remote setting. Self-... ...Daily expectation: At least 4 hours of work per day,...Remote workContract workFor contractorsFreelanceSaidGig
United States24 days ago- Federal Fiscal Analyst (Fiscal Analyst 4) At the Department of Commerce, we’re reimagining... ...procedures, tool development, and any Lean activities to help streamline Commerce,... ...instruction. Many Commerce employees work remotely or have a hybrid schedule. Our Commitment...Remote workFull timeContract workWork at officeLocal area
$196k - $310.5k
...how you can build a lasting impact on the world!As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the forefront... ...characteristic protected by law.SummaryLocation: US, CA, Remote; US, TX, Remote; US, OR, Remote; US, WA, Remote; US, FL,...Remote workFull time$106.9k - $131.67k
Position InformationNY HELP: NoAgency: Health, Department of Title: Research Scientist 4 (Toxic Substances) - 15105Occupational Category: I.T. Engineering, SciencesSalary Grade: 27Bargaining Unit: PS&T - Professional, Scientific, and Technical (PEF)Salary Range: From $...Remote workPermanent employmentFull timeWork at officeLocal areaVisa sponsorshipShift work$35 - $65 per hour
...our team, construct complex proofs, and convert this work into Lean 4 syntax. The ideal candidate holds a PhD or is currently a PostDoc... ...with a strong command of advanced topics. This position is 100% remote and offers a pay range of $35 to $65 per hour based on...Remote jobHourly payFreelance$90k - $125k
...Production Scientist Location: Torrance, CA | Employment Type: Full... ...reports. Provide on-floor and remote technical support during... ...manufacturing experience is preferred. Formal training in GMP,... ...standards is highly desirable. Lean Six Sigma, GMP compliance, or...Remote workFull timePolyPeptide US
Torrance, CA5 days ago$121.87k - $185.85k
...Job Title Remote Sensing Laboratory Emergency Response Scientist Job Description Mission Support and Test Services... ...for this position will be 4/10s, Monday-Thursday (subject to... ...records, and employment/education verifications. Applicants offered employment with...Remote workWorldwideNevada National Security Sites
Las Vegas, NV1 day ago$121.87k - $185.85k
...Remote Sensing Laboratory – located on Nellis Air Force Base in... ...engineers, software developers, scientists, and technicians. Operate... ...NV (RSLN). Work schedule: 4/10s, Monday‑Thursday (subject... ..., and employment/education verifications. Applicants offered employment...Remote workWork at officeWorldwideNevada National Security Sites
Las Vegas, NV2 days ago$174k - $252k
...improve AI agents that generate formally verified code, algorithms, and... ...mathematical proofs using the Lean proof assistant.Formalize the... ...for applying formal verification at scale, translating code, orchestrating... ...practical experience.4 years of experience with real...$100k - $115k
San Diego, CA (Remote)Commercial - Field Applications /Full-Time... ...and devoted Field Application Scientist to join our pioneering team.... ...plus 11 federal holidays and 4 dedicated wellbeing days.401... ...potential inconsistencies or verification signals in application materials...Remote workFull timeFlexible hours$116k - $182.27k
...shine? Join us as a Clinical Scientist in our Cambridge office.At Takeda... ...meeting presentations, and formal responses to communications received... ...6 years, master’s degree and 4 years, PharmD degree and 2... ...with Takeda’s Hybrid and Remote Work policy. #LI-JT1Takeda Compensation...Remote workMinimum wageTemporary workWork at officeLocal area- ...activities, including IQ, OQ, PQ, method verification, and method validation.Ability to work effectively... ...For most roles, we require a minimum of 4 days of in-office presence per week to... ...of flexibility and work-life balance. Remote or field-based positions will have...Remote workFull timeWork at officeImmediate start
- ...lives.Labcorp is seeking a US based remote Sr. Bioinformatics Scientist to join our team!Job Responsibilities... ...analysis and technical writing for verification, validation, and documentationDevelop... ...biology or engineering, OR PhD with 4 or more years of experience in...Remote workTemporary workCasual workInternshipFlexible hours
$64.7k - $107.9k
...Northrop Grumman Defense Systems is seeking RVA CLS Field Technician 4. This position is in Great Falls, MT. What You’ll Get To Do:... ...system equipment for the Missile Field Battlespace Awareness Remote Visual Assessment system. This role works closely with Network Operation...Remote workFull timeRelocation packageShift workNight shift- ...Our client in the semiconductor industry, is seeking a Formal Verification Engineer to join their team. As a Formal Verification Engineer,... ...Verification Engineer Location: Onsite in Santa Clara, CA /100% remote is available only for a strong candidate. Pay Range: $70...Remote workWeekly payTemporary workFlexible hours
Manpower Group Inc.
Santa Clara, CA1 day ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Lean 4 Formal Verification Scientist - Remote. Be the first to apply!
