Mathematician (Foundations / Formalization)
Alignerr
Mathematician (Foundations / Formalization)
What if your deep knowledge of formal systems and rigorous proof methods could directly shape how the world's most advanced AI understands mathematics? We're looking for mathematicians with a passion for formal reasoning to help build the logical foundations that frontier AI models learn from — formalizing advanced mathematical arguments in Lean 4 and contributing to large-scale proof libraries like mathlib.
This is a fully remote, flexible contract role for mathematicians who love working at the intersection of pure mathematics, logic, and formal systems.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: 10–40 hours/week
What You'll Do
- Formalize advanced mathematical arguments and theorems within Lean 4, drawing from graduate-level textbooks and research across mathematical disciplines
- Contribute to the development and quality of large-scale formal mathematical libraries, including mathlib, through clean and readable proof construction
- Audit and verify existing formal proofs for correctness, clarity, and mathematical soundness
- Translate informal mathematical reasoning into structured, machine-checkable formal proofs
- Work independently and asynchronously — fully on your own schedule
Who You Are
- Hold a Master's degree or PhD in Mathematics or a closely related field
- Experienced in rigorous proof writing and formal mathematical reasoning
- Proficient with formal proof assistants — Lean 4 strongly preferred
- Able to bridge the gap between informal mathematical intuition and structured formal systems
- Detail-oriented and precise — you care about getting every step exactly right
- Self-motivated and comfortable working independently without close supervision
Nice to Have
- Prior experience with proof verification, theorem proving, or formalization projects
- Familiarity with mathlib or other large-scale formal mathematical libraries
- Background in data annotation, data quality evaluation, or formal systems research
- Experience with other proof assistants such as Coq, Isabelle, or Agda
Why Join Us
- Work on frontier AI projects alongside world-leading research labs
- Fully remote and flexible — structure your hours around your life
- Freelance autonomy with the depth and substance of genuinely challenging mathematical work
- Make a direct, lasting contribution to how AI reasons about mathematics at a foundational level
- Potential for ongoing work and contract extension as new projects launch
Vacancy posted 4 days ago
Similar jobs that could be interesting for youBased on the Mathematician (Foundations / Formalization) in United States vacancy
- ...Working remotely on a full-time basis, the Mathematician will design and develop mathematical models for online slot games, ensuring they... ...in iGaming game mathematics or slot game development Strong foundation in probability theory, statistics, and game mathematics...FoundationFull timeRemote work
Virtual Vocations Inc
United States5 days ago $70.64k - $131.4k
...Game Mathematician II IGT, where innovation meets entertainment on a global scale! We've recently leveled up—IGT Gaming and Digital... ...Mathematics, Statistics, Computer Science, or related field ~ Strong foundation in probability, statistics, and combinatorics ~ Advanced...FoundationLocal areaIGT
Reno, NV4 days ago- ...Mathematicians use their expert knowledge of math to solve problems and gain new understanding about how our world works. They analyze data... .... Taking challenging math courses will help build a strong foundation. Participating in extracurricular activities that use math, such...FoundationSummer workInternshipStart working todayFlexible hours
Cerebral-Overload
Jackson, CA1 day ago $100k
...analysts, researchers, and trainees. Statistical Expertise Formal training in probability theory, mathematical statistics, linear... ...and has earned distinctions from AmeriCorps and the Carnegie Foundation for its longstanding record of service and community engagement...FoundationHourly payFull timeTraineeshipWork experience placementWork at officeLocal areaImmediate startRemote workLoyola University
Maywood, IL3 days ago- ...business innovation, modern cloud technology, and end-to-end solutions across banking, insurance, and finance. Building on this foundation, you will support our team in developing innovative software solutions with direct impact on financial services operations. One of...FoundationRemote workWorldwideFlexible hours
- ...to compensation information are prohibited from disclosing pay of other employees or applicants, except as permitted by legal duty or in response to a formal investigation. #J-18808-Ljbffr The Henry M. Jackson Foundation for the Advancement of Military Medicine, Inc.FoundationFor contractorsWork at office
- ...Program offers you a permanent position upon completion of your formal training plan. As a Palace Acquire Intern you will experience... ...in support of projects and studies assigned to higher graded mathematicians or scientists. Perform a segment of the project or study, utilizing...Permanent employmentFull timeTemporary workPart timeWork experience placementInternshipWork at officeRelocationRelocation package
Air Force Civilian Career Training
Tuscaloosa, AL1 day ago $50 - $150 per hour
Mathematical Formalization Specialist - Remote We are seeking a mathematician with deep training in rigorous proof construction and hands‑on experience with formal... ...Science, or a closely related field. Strong foundation in rigorous proof writing and mathematical reasoning...FoundationRemote job- ...world. For most software engineers and mathematicians, work is easy to come by, but meaningful... ...as the Global Fund, CDC, and the Gates Foundation. We are looking for an Applied... ...on the sustainable development goals. Formal academic studies in statistics and data...FoundationFull timeRelocation
Quantitative Engineering Design
Scottsdale, AZ2 days ago - ...cohort definition, data debugging, and alignment of exposure/outcome definitions in real-world datasets. ~ Strong statistical foundation including survival analysis, sampling methods, and power calculations. ~ Ability to translate estimands into analytical frameworks...FoundationRemote jobFull time
jobgether
United States6 days ago - ...SuperIntelligence, xAI, Apple and Intel. What You'll Do As a Founding Member of the Technical Staff - Formal Methods at Architect Labs, you'll work on the formal foundations of our chip design flow. You will own a critical layer of the stack that gives our system the rigor...Foundation
- ...back—it starts with the math. We’re hiring a senior Game Mathematician to build and refine the systems that drive gameplay, payouts,... ..., Statistics, Computer Science, or related field • Strong foundation in probability, statistics, and combinatorics • Advanced Excel...Foundation
- ...Job Description Job Description Description The Mathematician is responsible for designing and developing the mathematical models... ...mechanics of online slot games. This role combines a strong foundation in mathematics, statistics, and probability with advanced programming...FoundationWork at office
- ...randomization specifications and dummy randomization schemes. Participates in bid defense meetings. Your Profile You will have a strong foundation in biostatistics, with the experience to work independently and guide others. Master's degree or Ph.D in Biostatistics,...FoundationFlexible hours
ICON
Blain, PA1 day ago - ...also known for its award-winning culture, which was built on a foundation of inclusion and fairness, meaningful community engagement, and... ...Cirrus Logic is seeking a Summer 2026 intern candidate for our Formal Verification team in Austin, TX. This position is focused on applying...FoundationFull timeInternshipSummer internshipWork at officeRelocation
- ...Intelligence Operations Executive (NOX) levied requirements and formal requests (RFI's) for geospatial data. The candidate shall use... ...) or have a current GEOINT Professional Certification-Foundations (GPC-F). Work Environment Work is within a team environment and...FoundationContract workWork at office
$50 per hour
...This position offers an exciting opportunity for highly skilled mathematicians to apply their expertise in intermediate to advanced... ...fields, and geometric proof techniques. Analysis: Strong foundation in real analysis, including properties of functions almost everywhere...FoundationRemote job- ...motivated Biostatistician to support CMC projects across the drug development lifecycle. The ideal candidate will have a strong foundation in statistical methodologies and programming and will play a critical role in analyzing complex manufacturing data to ensure product...FoundationFull timeRemote work
Cytel
United States4 days ago - Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence... ...formal methods, mathematical logic, or a strong mathematical foundation — whether through academic training (e.g., formal methods, type...Foundation
$145k - $179k
...for this position based on the primary location of Remote is $145,000 - 179,000 per year. The salary range is commensurate with Foundation Medicines compensation practice and considers factors including, but not limited to, education, training, experience, external market...FoundationRemote workFoundation Medicine
United States4 days ago- ...audience perspectives may be divergent, and information may be non-routine in nature. Your Profile: You will have a strong foundation in biostatistics, with the experience to work independently and guide others. Required qualifications and experience: ~...FoundationRemote work
ICON
United States1 day ago $150k - $200k
...advanced drugs, biologics, and medical devices in development today. Everest has been an independent CRO since 2004 with a strong foundation as a statistical and data management center of excellence. Building on this foundation, Everest has successfully developed and...FoundationContract workTemporary workWork at officeRemote workWork from homeWorldwideEverest Clinical Research
United States4 days ago$130k
...advanced drugs, biologics, and medical devices in development today. Everest has been an independent CRO since 2004 with a strong foundation as a statistical and data management center of excellence. Building on this foundation, Everest has successfully developed and...FoundationContract workTemporary workWork at officeRemote workWork from homeWorldwideEverest Clinical Research
United States5 days ago- ...role involves collaborating with research teams and performing data analysis to enhance operational readiness and safety of personnel. A comprehensive benefits package is offered. #J-18808-Ljbffr The Henry M. Jackson Foundation for the Advancement of Military MedicineFoundation
- The Henry M. Jackson Foundation for the Advancement of Military Medicine is seeking a Biostatistician III for the STARRGUARD Initiative in Bethesda, MD. This role involves managing data processes for research focused on mental health risk assessment. The ideal candidate...FoundationRemote job
- A prominent military medicine foundation is seeking a Biostatistician I in San Antonio, Texas, to provide statistical support for clinical and laboratory research. The role involves conducting statistical analysis, working in cross-functional teams, and maintaining standards...Foundation
- ...world with people and planet in mind. Our core values are the foundation that make us successful for ourselves, our customers and the planet... ...outcomes. Communicate clearly and professionally in both formal and informal settings. Required Qualifications Bachelor's or...Foundation
- Join to apply for the Biostatistician II role at Alaka`ina Foundation Family of Companies . 2 weeks ago Be among the first 25 applicants. The Alaka`ina Foundation Family of Companies (FOCs) is seeking a Biostatistician II to provide research support administration services...Foundation
- ...Equivalent, OR Bachelor's degree with 1+ years' experience • Minimum experience (number of month/years and type of work experience beyond formal education) required for competent performance: • Generally requires (0-2) years related experience • Equipment usage and...Work experience placementWork at office
Careers Integrated Resources Inc
Jacksonville, FL4 days ago - ...expertise and ability to maintain professional relationships with fellow employees, patients, parents and visitors. A personal interview, formal education and training, previous work experience, references and a criminal background investigation are all factors used to select...Work experience placementSeasonal workLive inRemote workWork from home
Children's Mercy KC
Kansas City, MO1 day ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Mathematician (Foundations / Formalization). Be the first to apply!
Related searches
- mathematician United States
- national science foundation United States
- foundation program manager United States
- executive director foundation United States
- foundation manager United States
- united nations foundation United States
- ford foundation United States
- director of foundation relations United States
- director education foundation United States
- mathematician