Remote: Formal Verification Scientist (Lean 4/Mathlib)

Alignerr

A leading AI research partner seeks a Formal Verification Scientist specializing in Lean 4 and Mathlib. The ideal candidate will be experienced in translating informal mathematical arguments into formal proofs, primarily using Lean. Responsibilities include analyzing proofs for gaps and collaborating with researchers on verification strategies. This is a fully remote position with competitive hourly compensation and flexible commitments from 10 to 40 hours per week. J-18808-Ljbffr

Apply

Vacancy posted 3 days ago

Similar jobs that could be interesting for youBased on the Remote: Formal Verification Scientist (Lean 4/Mathlib) in Sheffield, TX vacancy

Formal Verification Scientist (Lean 4 & Mathlib)
$170 per hour
...Formal Verification Scientist (Lean 4 & Mathlib) $170-200/hr Remote Freelance STEM What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr
United States
13 hours ago
Mathematician (Foundations / Formalization)
...Mathematician (Foundations / Formalization) What if your deep... ...mathematical arguments in Lean 4 and contributing to... ...scale proof libraries like mathlib. This is a fully remote, flexible contract role for... ...Prior experience with proof verification, theorem proving, or...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr
United States
13 hours ago
Remote Lean 4 Proof Engineer: Formalize Math for AI
...Alignerr is seeking a Lean 4 Proof Engineer to transform informal mathematics into machine-verifiable formalizations. This remote position offers flexibility to mathematicians passionate... ...proofs into Lean 4, analyzing gaps in formal arguments, and collaborating with AI...
Remote work
Alignerr
New York, NY
4 days ago
Remote Lean 4 Proof Engineer: Formalize Math
...A leading AI research organization seeks a Lean 4 Proof Engineer specializing in mathematical formalization. This role involves translating informal mathematical... ...position offers competitive hourly pay, flexible remote work, and opportunities to collaborate on cutting...
Remote work
Hourly pay
Flexible hours
Alignerr
Sheffield, TX
2 days ago
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
$50 - $150 per hour
...Mathematical Formalization Specialist (Lean / Formal Proof Systems) $50-150/hr Remote Freelance STEM About the... ...for improving formal verification pipelines Develop... ...Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL,... ...formalization projects such as mathlib Exposure to...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr
United States
46 minutes ago
Remote Lean 4 Formal Methods Researcher
Sign in to set job alerts for "Researcher" roles. Research Analyst, Private Markets (EquityZen) Austin, Texas Metropolitan Area 1 day ago Mixed Methods Researcher - Music Mission Quantitative Researcher — AI-Driven HFT Firm Physics Researcher (Python) - Freelance AI Trainer...
Remote work
Freelance
Alignerr
Sheffield, TX
3 days ago
Remote Lean Formalization Specialist
$50 - $150 per hour
...partner is looking for a Mathematical Formalization Specialist to join their remote team. This role focuses on... ...machine-verifiable formats using Lean and other proof systems. Candidates... ...in rigorous proof construction and verification. The position offers competitive compensation...
Remote work
Hourly pay
Alignerr
San Francisco, CA
3 days ago
Accounts Receivable Fiscal Analyst 4 (FA4/FS) - Internal
$64.78k - $87.05k
...WA Job Type: Full Time - Permanent Remote Employment: Flexible/Hybrid Job... ...Accounts Receivable Fiscal Analyst 4 (FA4/FS) - Internal 71108666 This... ...long-form copy), NGB 22, or USDVA signed verification of service letter. Please black out...
Remote work
Permanent employment
Full time
Part time
Work experience placement
Work at office
Flexible hours
Shift work
Day shift
2 days per week
3 days per week
State of Washington
United States
1 day ago
Mathematical Formalization Specialist - Remote
...Mathematical Formalization Specialist - RemoteWe are seeking... ...languages—especially Lean. This role sits at the... ...of what formal verification can express, capture,... ...Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL,... ...formalization projects (e.g., mathlib).Exposure to theorem provers...
Remote work
Alignerr
Boston, MA
3 days ago
Mathematical Formalization Specialist
Mathematical Formalization Specialist (Lean / Formal Proof Systems) About... .... This is a fully remote, flexible contract... ...true frontier of formal verification. Organization :... ...Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL,... ...formalization projects such as mathlib Exposure to...
Remote work
Hourly pay
Ongoing contract
Contract work
Freelance
Flexible hours
Alignerr
New York, NY
1 day ago
Research Scientist/Engr 4
$99.44k
Research Scientist/Engr 4 page is loaded## Research Scientist/Engr 4locations: Seattle, WAtime type: Full timeposted on: Posted Todayjob requisition... ...and past employment. Disclosure is required under .remote type: No Teleworklocations: Seattle, WAtime type: Full timeposted...
Remote work
Full time
Work at office
Shift work
FHLB Des Moines
Seattle, WA
17 hours ago
Environmental Scientist (0110)
...flexible schedule or a remote work schedule so that they... ...Environmental Scientist 1: $48,995.00 - $50,223... ...minimum to approximately 4.6% of the respective pay... ...association memberships, and formal education. Let us know... ...employment eligibility verification. We will provide the...
Remote work
Work experience placement
Live in
Work at office
Visa sponsorship
Work visa
Long distance
Flexible hours
Night shift
Tampa
Tampa, FL
1 day ago
CPU Formal Verification Engineer
$167.1k - $250.7k
...CPU design team? Are you interested in the application of formal methods to the verification of application processors? In contributing to the development... ...the following experience: MS/PhD degree in CS/EE; 4+ years of practical experience Strong foundation in formal...
Work from home
Qualcomm
Santa Clara, CA
37 minutes ago
Pure Math & Lean 4 AI Trainer - Freelance (Remote)
$35 - $65 per hour
...training company is seeking a Pure Mathematics Specialist to contribute to an exciting freelance project. This remote role is ideal for experts fluent in Lean 4 and theoretical mathematics. You will engage with advanced topics while constructing complex proofs and...
Remote work
Hourly pay
Freelance
Invisible Agency
New York, NY
1 day ago
Formal Verification Engineer for Fastwater Staffing
...Job Title Define comprehensive formal verification plans, strategies, and methods for a high-quality verification sign-off Review and aid in developing the RTL design architecture and specification Prove functional correctness of design features using formal verification...
Remote work
Work experience placement
Night shift
HIKINEX
United States
12 hours ago
Remote ML Research Scientist (ASR) Africa Speech AI
$5,000 per month
...Machine Learning Research Scientist (ASR) Remote Formal position title: Machine Learning Research Scientist (Speech & Language Technologies) Job Overview... ...projects first. Under each experience, kindly provide 3 to 4 bullet points describing interesting problems you solved,...
Remote work
Full time
Temporary work
Part time
Internship
Intron
Brazil, IN
3 days ago
Senior Applied ML Scientist
$200k - $240k
...Senior Applied ML Scientist SentiLink provides innovative identity... ...the future of identity verification in the United States replacing... ...to work, ranging from fully remote to in-office. We operate as a... ...access Requirements: ~4+ years relevant work experience...
Remote work
Work experience placement
Live in
Work at office
Home office
Flexible hours
SentiLink
United States
4 days ago
Senior Formal Verification Engineer - Remote
...tech design company based in Austin, TX is seeking a Senior Formal Verification Engineer. The role involves verifying complex design blocks,... ...structures. The position offers a contract with stability and benefits, including remote work options. #J-18808-Ljbffr Correct Designs
Remote job
Contract work
Correct Designs
Austin, TX
3 days ago
Senior Machine Learning Scientist (USA Remote)
$112.13k - $186.88k
...iThenticate. Experience a remote-centric culture that empowers... ...curious, helpful, and independent scientists and engineers, united by a... ...We're an applied science group leaning towards deep learning and therefore... ...Paid Time Off ~4 Self-Care Days per year ~ National...
Remote work
Local area
Home office
Turnitin
United States
2 days ago
Physicist, Theo Collaborators Program, Quantum Information
...Program, Quantum Information Anywhere - Remote Overview: FirstPrinciples is an... ...; weaknesses in symbolic manipulations or formal reasoning; or additional modules and capabilities... ...backgrounds Time Commitment & Compensation 4 month engagement Light but focused...
Remote work
FirstPrinciples
United States
12 hours ago
Virology Research Scientist — BSL-4 Lab
A research services company is seeking a Virology Support Scientist to support the National Institute of Allergy and Infectious Diseases at... ...degree and prior research experience, particularly in BSL-4 environments. This position offers a competitive hourly wage and...
Remote work
Hourly pay
Cape Fox Corporation
Frederick, MD
1 day ago
Physicist - Radiation Oncology
...physicians. Possesses an understanding of radiological fields. The department consists of one radiation oncologist, one remote dosimetrist, and 4 radiation therapists. Equipment utilized: TrueBeam linear accelerator, Aria, Eclipse, MIM, SNC QA equipment, and Philips...
Remote work
Full time
Part time
Work from home
Shift work
Marshfield Clinic
Marshfield, WI
44 minutes ago
Medical Physicist - Radiation Oncology - Full Time - Jeff Hwy (Hiring Immediately)
...required for determination of monitor units or verification of treatment (IMRT QA, in-vivo dosimetry... ...individual an applicant until they have formally applied to the open position on this... ...the position you are interested in is remote or on-site. Individuals who reside in...
Remote work
Full time
Work experience placement
Local area
Immediate start
Ochsner Health System
United States
4 days ago
Senior Satellite Image Processing Scientist
$140k - $170k
...application process. Imaging Processing Scientist Full Time 40 | Greenbelt, MD, Lanham, MD, US 4 days ago | Requisition ID: 2173... ...and Landsat data. Conduct verification and field data collection for... ...in technical field related to Remote Sensing. Experience over 25 years...
Remote work
Permanent employment
Full time
Science-Systems-and-Applications,-Inc
Lanham, MD
8 hours ago
Meteorologist Developer
...and will have direct interaction with scientists within NOAA as well as partners outside... ...above partners to develop and implement verification methods to gauge the effectiveness of new... .... As appropriate, contribute to formal scientific publications, and/or attending...
Remote work
Long term contract
Temporary work
Local area
Work from home
Flexible hours
Lynker Corporation
United States
3 days ago
Synthesis or Formal Verification Developer at YosysHQ
€6,000 per month
...around 12 people, with two main focus areas: synthesis and formal verification. If you can contribute to either of these areas, we welcome... ...supervision. Requirements Important Notes This is a flexible remote role which could be part time (1-5 days per week). You would...
Remote work
Full time
Contract work
Part time
For contractors
Freelance
Flexible hours
1 day per week
YosysHQ
New York, NY
1 day ago
Principal Level Toxicologist
$140k - $210k
...other toxicologists and health scientists on staff. You are confident... ...position may offer in‐office, remote, or hybrid opportunities... ...with a company match of 1% to 4% of annual compensation; company... ...history screening, degree verification, and a federal, state, and county...
Remote work
Full time
Temporary work
Part time
Live in
Work at office
Local area
Integral Consulting Services
New York, NY
1 day ago
Principal Hydrogeologist/Geologist
$140k - $210k
...position may offer in-office, remote, or hybrid opportunities... ...a multidisciplinary team of scientists and engineers Compensation... ...a company match of 1% to 4% of annual compensation; company... ...history screening, degree verification, and a federal, state, and county...
Remote work
Full time
Temporary work
Part time
Live in
Work at office
Local area
Integral Consulting Services
United States
4 days ago
L&I Fiscal Analyst 2
...of Labor & Industries complies with the employment eligibility verification requirements of the federal employment eligibility verification... ...should attach to their application a copy of their DD-214 (Member 4 copy), NGB 22, or signed verification of service letter from the...
Remote work
Permanent employment
Work experience placement
Work at office
Flexible hours
State of Washington
United States
2 days ago
Research Scientist Associate I
$40k
...Posting Title: Research Scientist Associate I ---- Hiring Department... .... * Ability to conduct remote field work for extended... ...disclosure is (a) in response to a formal complaint or charge, (b) in... ...-- Employment Eligibility Verification: If hired, you will be...
Remote work
Temporary work
For contractors
Work at office
Local area
University of Texas at Austin
Port Aransas, TX
1 hour ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Remote: Formal Verification Scientist (Lean 4/Mathlib). Be the first to apply!