Formal Verification Scientist (Lean 4 & Mathlib)
Alignerr
Formal Verification Scientist (Lean 4 & Mathlib) About the Role What if your deepest mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced human-written mathematics into machine-verifiable Lean 4 proofs - working at the frontier of what proof assistants can currently express, capture, and automate. This is a fully remote, flexible contract role for mathematicians who love rigorous proof construction and want their work to matter at the cutting edge of AI research.
- Organization
: Alignerr - Type
: Hourly Contract - Location
: Remote - Commitment
: 10-40 hours/week
- Translate informal mathematical proofs into precise, machine-verifiable Lean 4 formalizations with an emphasis on clarity, structure, and correctness
- Analyze both generic and domain-specific proofs - identifying gaps, hidden assumptions, and formalizable sub-structures
- Push the limits of existing proof assistants by constructing formalizations where automated tools struggle or fail
- Collaborate with AI researchers to design, refine, and evaluate strategies for improving formal verification pipelines
- Develop highly readable, reproducible proof scripts aligned with mathematical best practices and Lean idioms
- Provide guidance on proof decomposition, lemma selection, and structuring techniques for formal models
- Formalize classical proofs and compare machine-verifiable structures against textbook arguments
- Investigate breakdowns in automated provers and articulate root causes - missing lemmas, library gaps, complexity barriers
- Create Lean proofs that reveal deeper patterns or generalizations implicit in the original mathematics
- Hold a Master's degree or higher in Mathematics, Logic, Theoretical Computer Science, or a closely related field
- Have a strong foundation in rigorous proof writing across areas such as algebra, analysis, topology, logic, or discrete mathematics
- Bring hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable systems - Lean 4 strongly preferred
- Deeply enthusiastic about formal verification, proof assistants, and the future of mechanized mathematics
- Skilled at translating informal mathematical arguments into clean, well-structured formal proofs
- A mathematically mature problem-solver who finds satisfaction in expressing elegant human arguments in forms a machine can verify
- Familiarity with type theory, the Curry-Howard correspondence, and proof automation tools
- Experience contributing to large-scale formalization projects such as Mathlib
- Exposure to theorem provers where automated reasoning frequently fails or requires manual scaffolding
- Prior experience with data annotation, evaluation systems, or AI training data workflows
- Strong communication skills for explaining formalization decisions, edge cases, and reasoning strategies
- Work directly on cutting-edge AI research projects alongside leading labs and research teams
- Fully remote and flexible - work when and where it suits you
- Freelance autonomy with meaningful, intellectually stimulating task-based work
- Gain exposure to advanced large language models and how they are trained on formal mathematics
- Collaborate with a global team of researchers and domain experts pushing the boundaries of AI
- 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 Formal Verification Scientist (Lean 4 & Mathlib) in Chicago, IL vacancy
$112.13k - $186.88k
...team of curious, helpful, and independent scientists and engineers, united by a commitment to... ...mathematics. We’re an applied science group leaning towards deep learning and therefore... ...Reimbursement* ~ Competitive Paid Time Off ~4 Self-Care Days per year ~ National...SuggestedRemote jobLocal areaHome officeTurnitin, LLC
Chicago, IL20 days ago- ...Closing Date June 17, 2026, 4:59:00 AM Full-time Shift Start... ...expertise as a Medical Laboratory Scientist (MLS) by performing high... ...in performance, analysis and verification of specialized, highly complex... ...laboratory tests. Knowledge of Lean and Six Sigma methodology for...SuggestedHourly payFull timeShift workRotating shift
- A background technology screening company is seeking a Verification Specialist / Call Center Representative to support timely background verifications. This remote role requires two years of call center experience, excellent communication skills, and the ability to conduct...SuggestedRemote job
- ...recording of archaeological findings. Prepare End-of-Fieldwork Letters, including drafts, revisions, and final versions. WORK ELEMENT 4: Post-Fieldwork (laboratory processing and analysis) Oversee the transportation and processing of archaeological artifacts....SuggestedFull timeLocal area
Ladgov Corporation
Chicago, IL14 days ago - ...Job Description SUMMARY: The Nurse Scientist serves as a clinical and scholarly leader... ...ensure shared ownership of improvement work. 4. Designs, implements, and evaluates... ...methodologies (e.g., Iowa Model, PDSA cycles, Lean tools) to guide project teams from problem...SuggestedWork experience placementLocal area
La Rabida Children's Hospital
Chicago, IL3 days ago $25.05 - $35.23 per hour
...certifications or clearances) Successful completion of a full 4-year courses of study in an accredited college or university... ...interested in developing your professional potential or continuing your formal education, we offer a variety of tools and resources. Visit us at...Hourly payWork at officeNorthwestern University
Evanston, IL13 hours ago- ...Location: IVF Laboratory Work Schedule: Monday Friday (8:00am 4:30pm) What We Offer Our Team Members: ~ Generous Paid time-... ...completion of the CCRM Fertility onboarding process, including verification of eligibility and authorization to work in the United States. This...Temporary workWork at officeLocal areaMonday to FridayFlexible hours
$62k - $70k
...Description Job Description Position: Environmental Social Scientist, Chicago Region FLSA Status: Exempt Department: Keller Science... ..., human geography, or related social science field Minimum 4 years of experience in community-based conservation,...Local areaShift workField Museum
Chicago, IL26 days ago- ...Time (Total FTE less than 0.5) Shift: Shift 4 Work Schedule: 8 Hr (3:00PM - 7:00AM)... ...each case. Summary The Medical Laboratory Scientist 2 is responsible for performing all... ...required and takes appropriate action before verification and release. Recognizes and calls critical...Hourly payPart timeWork experience placementShift work
- ...annual gowning qualification. Performs sanitation and temperature verification of laboratory refrigerators and incubators. Performs routine... ...settings. Able to work wearing a full aseptic gowning at least 4 hours once weekly. Flexibility working weekend, holidays, or more...Full timeContract workWork at officeWeekend work
$25 - $30.55 per hour
...troubleshooting. Independently executes protocols and verifications under the guidance of senior‑level... ...and provides guidance to associate scientists. Responsibilities Independently... ...science. Experience: Typically requires 1-4 years of related experience in the pharmaceutical...Hourly payContract workTemporary workWork experience placementWork at officeMonday to FridayFlexible hours- ...annual gowning qualification. Perform sanitation and temperature verification of laboratory refrigerators and incubators. Perform routine... ...laboratory settings. Must work wearing a full aseptic gown for at least 4 hours weekly. Flexibility to work weekends, holidays, or more...Full timeContract workWork at officeWeekend work
$29.36 - $42.61 per hour
...Shift 1 Work Schedule: 8 Hr (8:00AM - 4:00PM) Rush offers exceptional... ...Summary: The Medical Laboratory Scientist 1 is responsible for performing all assigned... ...required and takes appropriate action before verification and release. Recognizes and calls critical...Hourly payFull timeWork experience placementShift workRush University Medical Center
Chicago, IL9 days ago$70k - $75k
Job SummaryThe Scientist, Analytical Development conducts all aspects of Analytical Development including method development, experimentation... ..., and formulation testing, etc.Performs validations or verification of methods including transfer of methods to Quality...Permanent employment$145k - $165k
...equipped pilot plant — and they are hiring a Senior or Principal Scientist to be the team's deep scientific authority on fungal physiology... ...platform is novel, but this is still a startup. Resources are lean, decisions happen fast, and everyone, including the most senior...Full timeRelocation packageFlexible hoursPave Talent
Chicago, IL1 day ago- ...to support product launch. We are building a world-class team of scientists and leaders who will drive the advancement of industry-leading... ...experience. Qualification for Senior Scientist I: Ph.D. with 0-4 years of experience is required with relevant experience or MS...Temporary workLocal area
$95k - $110k
...implement our products. We are now looking for a talented Decision Scientist, you’ll be responsible for building Machine Learning models to... ...Assessment with the team Our average process takes around 3-4 weeks but we will always work around your availability. You will...Summer workWork at officeImmediate startFlexible hours2 days per week$36 per hour
...compensation information, unless the disclosure is (a) in response to a formal complaint or charge, (b) in furtherance of an investigation,... ...duty to furnish information. ---- Employment Eligibility Verification: If hired, you will be required to complete the federal...Hourly payPart timeFor contractorsImmediate startRemote workShift workThe University of Texas at Austin
Chicago, IL2 days ago- ...position involves leading technical integrations, collaborating with R&D teams, and providing best practice guidance. Ideal candidates have 4+ years in quantum information science, Python programming skills, and excellent communication abilities. A willingness to travel for...
- ...better? Job Description The Senior Cellular Therapy Scientist reflects the mission, vision, and values of NM, adheres to the... ..., assay development, optimization, validation, and verification for cellular therapy investigational new drug applications...Full timeWork experience placementLocal areaRelocation package
Northwestern Memorial Healthcare
Chicago, IL14 days ago - ...Description Job Description As a Senior/Principal Fermentation Scientist, you will be the technical cornerstone of our bioprocess... ...scale-up campaigns to ensure successful process implementation. 4. Cross-Functional Leadership Collaborate closely with Strain...
The Fynder Group
Chicago, IL6 days ago $153.92k - $253.97k
...a core team of Radiologists, Imaging Specialists and Clinical Scientists to provide the best balance for a good clinical service at the... ...Appropriate technical performance criteria must be precisely and formally specified by the Medical Physicist in order to meet diagnostic...Hourly payFull timePart timeFlexible hoursAnn & Robert H. Lurie Children's Hospital of Chicago
Chicago, IL3 days ago$130k - $211k
...interns. Requirements PhD in atomic physics, optical physics, or related field; or equivalent related professional experience (4+ years); If you have substantially more experience than this and are excited to apply, please do! We will also consider hiring at the...Temporary workWork at officeFlexible hoursInfleqtion
Chicago, IL1 day ago- ...five scholars willing to evaluate the candidate's ability, research and teaching. Application Instructions We will start formally reviewing applications on December 1, 2025and strongly encourage you to complete your application by then. This position is benefits...
The University of Chicago
Chicago, IL3 days ago $190k - $230k
...QUALITY ASSURANCE 1. Weekly chart review. 2. Verify and calculate treatment times. 3. Verify and calculate dose distributions. 4. Perform periodic QA measurements on treatment machines and simulators. 5. Participate in reviewing department policies and...Full timeLocal areaRemote workRelocation packageRush
Chicago, IL8 hours ago- ...Chemist SGS is the global leader and innovator in inspection, verification, testing and certification services. Founded in 1878, SGS is recognized as the global benchmark in quality and integrity. With over 97,000 employees in 130 countries and operating a network...Work experience placement
SGS
Bridgeview, IL13 hours ago $59.85k - $82.74k
...understanding of digital marketing best practices including industry trends, metrics, and competitive activities. Qualifications ~4+ years of experience in a quantitative data-driven field. ~ Experience in working with cross-functional teams across multiple...Temporary workFreelanceRemote workFlexible hoursPublicis Groupe Holdings B.V
Chicago, IL1 day ago$35.16 - $54.5 per hour
...Sign-on Bonus Position: Cytologist Location: Swedish Hospital Full Time/Part Time: Full Time Hours: Monday-Friday, 8am-4:30pm What you will do: Oversee daily operations within the assigned laboratory section, ensuring smooth workflow and accurate...Hourly payFull timePart timeFor contractorsRelocation packageMonday to FridayShift workEndeavor Health Services
Chicago, IL3 days ago$35.16 - $54.5 per hour
...healthcare delivery system committed to providing access to quality, vibrant, community-connected care, serving an area of more than 4.2 million residents across six northeast Illinois counties. Our more than 25,000 team members and more than 6,000 physicians aim to deliver...Hourly payFull timeFor contractorsReliefNorthShore University HealthSystem
Chicago, IL13 hours ago- ...Department of Radiology invites applications for a full-time physician-scientist or clinician/investigator and educator at any rank to lead and... ...or board eligibility in Nuclear Medicine or Radiation Oncology; 4) have undertaken scholarly activity related to theranostics,...Full time
The University of Chicago
Chicago, IL1 day ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Scientist (Lean 4 & Mathlib). Be the first to apply!
Related searches
- safety scientist Chicago, IL
- image scientist Chicago, IL
- entry level research scientist Chicago, IL
- regulatory scientist Chicago, IL
- water quality scientist Chicago, IL
- senior principal scientist Chicago, IL
- pharmaceutical scientist Chicago, IL
- remote scientist Chicago, IL
- genomics scientist Chicago, IL
- scientist biology Chicago, IL