Applied Formal Methods Researcher
Alignerr
About The Role
What if your deep mathematical expertise could directly shape how AI reasons, proves, and understands the most rigorous structures in mathematics? We're looking for Applied Formal Methods Researchers to translate advanced mathematical arguments into precise, machine-verifiable Lean 4 proofs — working at the very edge of what automated reasoning can do today.
This is a fully remote, flexible contract role built for mathematicians who are serious about formal verification and excited by the challenge of mapping territory that automated tools can't yet navigate alone.
- Organization: Alignerr
- Type: Hourly Contract
- Location: Remote
- Commitment: 10–40 hours/week
What You'll Do
- Translate informal mathematical proofs into clean, structured, machine-verifiable Lean 4 formalizations
- Analyze proofs across domains — identifying hidden assumptions, gaps, and formalizable sub-structures
- Construct formalizations that stress-test the limits of existing proof assistants, especially where automation breaks down
- Collaborate with AI researchers to design, refine, and evaluate formal verification pipelines
- Develop highly readable, reproducible proof scripts aligned with mathematical best practices and Lean idioms
- Provide expert guidance on proof decomposition, lemma selection, and structuring strategies for formal models
- Investigate where automated provers fail — and articulate precisely why (complexity, missing lemmas, library gaps, etc.)
- Formalize classical and advanced proofs, surfacing deeper patterns and generalizations implicit in the original mathematics
Who You Are
- Holds a Master's degree or higher in Mathematics, Logic, Theoretical Computer Science, or a closely related field
- Strong foundation in rigorous proof construction across areas such as algebra, analysis, topology, logic, or discrete mathematics
- Hands-on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable formal systems — Lean 4 strongly preferred
- Deeply enthusiastic about formal verification, proof assistants, and the future of mechanized mathematics
- Able to take a dense, informal mathematical argument and express it with precision a machine can verify
- Naturally detail-oriented with a high tolerance for structural complexity and edge cases
Nice to Have
- Familiarity with type theory, the Curry-Howard correspondence, and proof automation tooling
- Experience contributing to large-scale formalization projects such as Mathlib
- Exposure to theorem provers where automated reasoning frequently requires manual scaffolding
- Prior experience in data annotation, data quality evaluation, or AI training pipelines
- Strong communication skills for articulating formalization decisions, edge cases, and reasoning strategies to interdisciplinary teams
Why Join Us
- Work on cutting-edge AI projects alongside leading research labs and frontier AI teams
- Fully remote and flexible — work when and where it suits you
- Freelance autonomy with the structure of meaningful, intellectually demanding work
- Direct impact on how AI learns to reason about mathematics at the highest level
- Potential for ongoing work and contract extension as new projects launch
- Join a global collaboration of researchers and domain experts pushing the boundaries of what AI can know and prove
Vacancy posted 22 days ago
Similar jobs that could be interesting for youBased on the Applied Formal Methods Researcher in Vancouver, BC vacancy
$74.62k - $107.26k per year
...Research Associate, Schrader Lab BC Cancer Vancouver, BC This role is a term position... ...research data, revise techniques and develop new methods and approaches to solve scientific... ...consultation with the Principal Investigator. Apply standard scientific techniques and...SuggestedFull timeTemporary workPart timePnpLocal areaRemote workWork from homeMonday to fridayFlexible hours$76.13k per year
...Vancouver, Canada, invites applicants for a full-time, PhD-level research associate in fish physiology and gill regeneration.Reporting to Dr... ...or Indigenous person.All qualified candidates are encouraged to apply; however, Canadians and permanent residents of Canada will be given...SuggestedPermanent employmentFull time- ...Grant Researcher and Writer Position Type: Volunteer Hours: 15–20 hours per week Commitment: Minimum 3 months Location: In-person... ...your professional contacts through Latincouver's rich network. ● Apply your skills and learn new ones. ● Gain hands-on experience in...Suggested
$43.76k - $57.43k per year
...Research Assistant 1, Deeley Research Centre BC Cancer Victoria, BC What You’ll Do Under supervision, performs skilled routine... ...tissue culture preparation, specimen preparation and staining, applying biomarkers, chromatography, specialized use of microscope. Performs...SuggestedFull timeTemporary workPart timeLocal areaRemote workWork from homeMonday to fridayFlexible hours$60k per year
...Non Bargaining Job Title Postdoctoral Research Fellow (Soil Microbiome) Department Research Support | Taye Academic Group | Applied Biology Program | Faculty of Land and Food... ...workflows, or molecular laboratory methods. Amplicon sequencing, metagenomics, bioinformatics...SuggestedFull timeImmediate start$30 per hour
...Job Responsibility: The Research Fellow will be responsible for playing a key role in conducting community-engaged research aimed at understanding experiences and barriers faced by social workers supporting survivors of gender-based violence, especially during the COVID-19...Hourly payFull timeFixed term contractRemote workRelocationMonday to fridayFlexible hoursShift work- ...Senior Clinical Research Associate - Home-Based (CANADA) ICON plc is a world-leading healthcare intelligence and clinical research organization... ...if you meet all of the requirements? We would encourage you to apply regardless – there’s every chance you’re exactly what we’re...Remote jobApprenticeshipInternshipLocal areaWork from homeWork visaFlexible hours
$45k - $55k per year
...Job Responsibility: Job Posting for Junior Research Coordinator A full-time Research Coordinator is needed to work on the project titled Deriving Normative 24- hour Ambulatory Blood Pressure Monitoring Data Among South Asian Children (ASHA). This study is a collaborative...Ongoing contractFull timeContract workWork at officeRemote workShift workWeekend workAfternoon shift- ...position. Reporting to the Executive Director of the Women’s Health Research Institute, the Research Data Analyst, Perinatal Data Registry... ...compliance with research agreements. Transmits data via secure method to requestors/researchers as required by Perinatal Services BC...Work at office
$169.5k - $242.6k per year
...players are at the heart of everything we create. The Director, PX Research leads a global team of researchers dedicated to uncovering the... ...leaders with insight-driven narratives. ~ Expertise in mixed-methods research, with strong fluency in qualitative, quantitative, and...Long term contractFull timeLocal areaWorldwide$140k - $300k per year
...Job Description: Responsibilities: Conduct blockchain security research and code security audits. Explore cutting-edge technologies like blockchain, plan and implement strategies in advance. Identify and analyze vulnerabilities related to blockchain, including exchanges...Full timeRelocation- Don't see the role you're looking for on our Careers Page? We're always growing and may have new opportunities coming up that are the right fit, so say hello! **Please note that this posting is not monitored.** You'll receive an automated email to let you know we've received...Full time
$166k - $203k per year
...This is a position within Keller Executive Search and not with one of its clients. As the Research Director in Vancouver, this senior role is accountable for shaping research strategy and delivering measurable outcomes across the business. The position partners closely with...Local area$85k - $184k per year
...Huawei Canada has an immediate 6-month contract opening for a Researcher. About the team: Initially founded in 1991 as Huawei's ASIC Design Center, the IC Lab is a leading global fabless semiconductor lab. This lab delivers trusted, cutting-edge semiconductor products and...Contract workLocal areaImmediate start- ...will be joining the world’s largest & most comprehensive clinical research organization, powered by healthcare intelligence. En tant que... ...if you meet all of the requirements? We would encourage you to apply regardless – there’s every chance you’re exactly what we’re looking...Permanent employmentTemporary workLocal areaFlexible hoursDay shift
- ...Apex Focus Group partners with research organizations, academic institutions, and brands seeking genuine consumer feedback. We connect individuals with flexible work at home research opportunities that help shape products, services, and user experiences. Role Overview...Part timeCasual workWork at officeRemote workWork from homeFlexible hours
$63.48k - $91.26k per year
...initiatives, knowledge exchange, research, information dissemination,... ...ability to draft proposals and make formal presentations. Strong... ...Procedures, various training delivery methods. Knowledge of adult learning.... ...Indigenous individuals to apply and/or contact the Sanya’k̓ula...Full timeTemporary workPart timeFor contractorsLocal areaRemote workWork from homeMonday to fridayFlexible hours$70.86k per year
...or opportunity and initiates research to identify critical problems.... ...A) Diagnoses problems using formal problem-solving tools and techniques... ...-in for problem definition, methods of resolution, and... ...analytical skills and ability to apply problem solving skills with a...Work at office- ..., training and experience. Formal training in Project Management... ...reporting on projects and programs, researching and preparing business cases... ...personnel. Ability to research and prepare business cases for... ...disabilities are encouraged to apply. Accommodations will be provided...Long term contractRemplacementFull timeTemporary workFor contractors
- ...engineering workshops, trade-off studies, and formal design reviews. Provide expert... ...Strong understanding of underground mining methods, ground support, and mine services (ventilation... ...while helping build a better world. Apply with us Take the next step in your...Full timeContract workFor contractorsWork at officeLocal area
- ...through interview, observation, and research Shoots, screens, selects... ...limited to: Access to a formal Employee Family Assistance Plan... ...) Rogers First: priority in applying to internal roles of interest... ...selves to work. Everyone who applies for a job will be considered....Full timeContract workLocal areaRemote workShift workWeekend workAfternoon shift
- ...Work in an exciting environment where you can apply your academic learning on a daily basis. Benefit from formal and informal mentorship from some of the leading... ...challenging projects. Apply analytical, conceptual, research, and planning skills to support geotechnical...Long term contractInternshipWork at officeLocal areaFlexible hours
$38.7 per hour
...growth Active Young Professional group Formal mentoring programs Paid professional... ...with road/bridge construction materials, methods, and process. ~ Computer skills including... ...minorities, and members of the LGBTQ+ community to apply. For applicants with disabilities,...Hourly payPermanent employmentContract workFor contractorsInternshipWork at officeLocal areaFlexible hours$72k - $108k per year
...responsible for assisting in all aspects of formal andinformal restructurings, which may... ...may include sector and/or specific target research to identify prospects for the teamto pursue... ...First Nations, Inuit, Métis). When you apply, we will review your application using...Permanent employmentImmediate startFlexible hours$154.16k - $231.3k per year
...development using industry standard tools & methods Perform logic design and/or... ...methodologies such as UVM, FW co-simulation, formal property verification, etc. Contribute... ...in Computer Engineering, Computer Science, Applied Science, etc. ~ Experience leading technical...Long term contractFull timeTemporary workFlexible hours- ...Bakes, roasts, broils, steams, and uses a variety of cooking methods on meat, vegetables, and other foods Arranges, garnishes, and... ...commitments, job duties may change or new ones may be assigned without formal notice. Qualifications Experience as a cook or in a related...
$40.75 - $59.77 per hour
...your qualifications, we encourage you to apply! Langara College is located in Vancouver,... ...policy violations, renders decisions and formal recommendations, and imposes remedies related... ...through consultative and collaborate methods. To request a copy of the , please contact...Hourly payFull timeTemporary workPart timeFixed term contractCasual workWork at office$75k - $110k per year
...~ Active Young Professional group ~ Formal mentoring programs ~ Paid professional... ...discipline. Knowledge of highway construction methods, paving practices, maintenance standards,... .... Proven ability to interpret and apply engineering drawings, technical...Contract workFor contractorsInternshipWork at officeLocal areaFlexible hours$65.5k - $102.5k per year
...models, etc. Prepare financial models, apply valuation methodologies in a meaningful way... ...IQ Conduct industry and economic research Prepare, review and edit reports, analyses... ...breaks during interviews, and accommodations (formal requests), such as accessible...Full timeInternship- ...external benchmarking, leading practices research, survey analysis) Assists with the development... ...on projects and in a team environment Formal training in project management... ...persons with disabilities are encouraged to apply. Accommodations will be provided upon request...Hourly payWeekly payFull timeFor contractorsFlexible hours
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Applied Formal Methods Researcher. Be the first to apply!
Related searches