Lean 4 Formal Proof Researcher
Alignerr
Lean 4 formalization and rigorous proof writing define this fully remote, flexible contract with Alignerr. Translate advanced mathematics into machine-verifiable proofs.
Alignerr seeks mathematicians and formal verification specialists for AI research involving formal proofs. You will analyze mathematical arguments, identify gaps, and express reasoning in Lean 4. The work examines problems beyond current automated provers while emphasizing clarity, structure, and correctness.
Key Responsibilities:
- Translate informal mathematical proofs into Lean 4
- Analyze arguments for gaps and hidden assumptions
- Construct formalizations where automation breaks down
- Investigate automated prover failure modes
- Develop readable, reproducible proof scripts
Requirements:
- Master's degree or higher in a related field
- Rigorous proof writing across mathematical areas
- Hands-on experience with formal proof systems
- Lean 4 experience strongly preferred
- Ability to express arguments in machine-verifiable form
Apply formal mathematics, Lean 4, and precise reasoning to advance AI understanding of machine-verifiable proofs.
#J-18808-LjbffrVacancy posted 6 hours ago
Similar jobs that could be interesting for youBased on the Lean 4 Formal Proof Researcher in Toronto, ON vacancy
- ...Researcher – Lean 4 & Formal Proof Systems (AI Training) About The Role What if your deep mathematical training could directly shape the future of AI reasoning? We're looking for mathematicians and formal verification specialists to translate sophisticated mathematical...SuggestedHourly payOngoing contractContract workFreelanceRemote workFlexible hours
Alignerr
Toronto, ON6 hours ago - ...Lean 4 Proof Engineer - Mathematical Formalization About The Role What if your deep mathematical training could directly shape the future of AI - by pushing the boundaries of what machines can understand, verify, and reason about? We're looking for mathematicians and...SuggestedHourly payOngoing contractContract workFreelanceRemote workFlexible hours
Alignerr
Toronto, ON6 hours ago - ...Lean formal proof expertise can shape AI reasoning through machine-verifiable mathematics. This fully remote contract offers flexible hours... ...readable, reproducible formal proof scripts Collaborate with researchers on formal verification strategies Explain automated prover...SuggestedContract workRemote workFlexible hours
Alignerr
Toronto, ON6 hours ago - ...Lean formalization and rigorous proof construction shape how AI reasons at Alignerr, in a fully remote, flexible contract arrangement. Translate advanced... ..., and proof assistant limits. You will also support researchers refining formalization strategies and pipelines. Key...SuggestedContract workRemote workFlexible hours
Alignerr
Toronto, ON6 hours ago - ...shape how AI understands and reasons about formal proofs? We're looking for mathematicians and formal... ...methods experts to work at the cutting edge of AI research — translating rigorous mathematical arguments into machine-verifiable Lean 4 formalizations, and helping map the...SuggestedHourly payOngoing contractContract workFreelanceRemote workFlexible hours
Alignerr
Toronto, ON6 hours ago - ...Alignerr is seeking mathematicians with a passion for rigorous proof to help build the foundations of frontier AI. This is a fully remote, hourly contract role inviting experts to formalize proofs in Lean 4 and contribute to large-scale mathematical libraries from anywhere...Hourly payContract workRemote work
Alignerr Corp.
Toronto, ON6 hours ago - ...Lean 4 formalization and rigorous proof writing define this remote contract with Alignerr. Translate mathematical arguments into machine-verifiable proofs for AI research. Alignerr seeks mathematicians or formal verification specialists for an hourly contract requiring...Hourly payContract workRemote work
Alignerr
Toronto, ON6 hours ago - ...Alignerr Corp. seeks a Formal Verification Scientist to translate advanced mathematical arguments into precise Lean 4 formalizations. You will work at the frontier of AI research and mechanized mathematics, turning proofs into machine-checkable scripts. The role is a fully...Hourly payContract workRemote work10 hours per week
Alignerr Corp.
Toronto, ON6 hours ago $47k - $78k per year
...mieux-être personnel et soutenir la croissance du Cabinet. En plus de nos jours de congé payés réguliers, quelques exemples incluent : 4 000 $ par an pour les avantages de soutien en santé mentale, un compte de dépenses flexibles de 1 300 $, des fermetures à l'échelle de l...Daily paidPermanent employmentApprenticeshipWork at officeFlexible hoursDay shift- ...TEHORA est à la recherche d’ un(e) Expert(e) LEAN Construction afin d’agir à titre de référence stratégique dans la transformation des pratiques de gestion de chantier et l’implantation des principes LEAN Construction à grande échelle. Responsabilités Définir les orientations...Hourly payFull timeContract workApprenticeshipRemote workFlexible hours
$157k - $235k per year
...building data-driven product solutions or performing methodological research. "Default Together" Policy at Snap: At Snap Inc. we believe... ...” approach and expect our team members to work in an office 4+ days per week. At Snap, we believe that having a team of diverse...Long term contractFull timeLive InWork at officeLocal area- Job ID: 63641 Job Category: Finance, Accounting & Purchasing Division & Section: Revenue Services, RevSvcs Utility Billing & Parking Ticket Work Location: North York Civic Centre, 5100 Yonge St, Toronto Job Type & Duration: Full-time, Temporary Vacancy (approximately...Hourly payPrice workFull timeTemporary workPart timeInternshipWork at officeMonday to fridayShift work
$119.18k per year
...Science derives from our combined teaching and research excellence in the humanities, sciences and... ...grant and investment proposals to acquire proof of concept and product development funding... ...commercialization partnerships Using formal negotiation skills to settle the financial...Full timeInternshipWork at officeLocal area- ...We are looking for an Operations Research Engineer to join the Workforce Management (WFM) product stream and help build the optimization... ...using OR-Tools/CP-SAT. Own the constraint model end to end: formalize business rule into a solvable, maintainable model. Build the...InternshipRemote workRelocation
$10k per year
...Sessional Lecturer II Long Term) $10,953.96 (Sessional Lecturer III) $11,228.90 (Sessional Lecturer III Long Term) (Salary inclusive of 4% or 6% vacation pay, where applicable) Please note that should rates stipulated in the collective agreement vary from rates stated in...Long term contract- ...Strategy and Planning team, you'll play a crucial role in providing research and consulting for various strategic initiatives. You'll work... ...in the financial services industry Experience with formal business communications and strategy development for executive and...Work at officeWork from home
$85.9k - $128.84k per year
...Centre Department: Peter Gilgan Centre for Early Cancer Detection Research, Pillar 3 Reports to: Clinical Research Manager Salary Range:... ...in Health or Science related discipline At least four (4) years experience in some or all of Oncology, Clinical trials - regulated...RemplacementPermanent employmentFull timeTraineeshipInternshipWork at officeWork from homeFlexible hoursShift work- ...We are looking for a Corporate Tax Technology Partner for a Big 4 Firm in Canada. If you have Tax Technology consulting experience gained in a Big 4 or major consulting firm, this may be the role for you. Please message me if you would like a discrete conversation on...
- Position : Lot Person Division : Parkway Honda | Weins Auto Group Employment Type : Temporary Full-Time Weins Auto Group is looking for a Lot Person at Parkway Honda. We are looking for a highly motivated and organized individual to join our team. This position is ...Hourly payFull timeTemporary workWeekend work
- ...???: ??????YouTube??? ???Pro? Qualifications: Bachelor's degree or higher, preferably in finance or related fields. At least 4 years of work experience in the financial industry. At least 4 years of U.S. stock trading experience with a passion for investment....Full timeWork at officeRelocationMonday to friday
$130k - $155k per year
...all the world's leading OEMs. Job Summary:The Operations Lead - Research & Development is responsible for leading technical innovation, product... ..., problem-solving, and decision-making abilities.Proficiency in Lean Manufacturing, Six Sigma, and continuous improvement...Full time- ...you will gain hands-on experience in a supportive, learning-focused environment while contributing to day-to-day IT operations. This 4-month internship is designed for students early in their IT careers who are eager to learn, develop technical skills, and explore...InternshipWork at office
- Job Title: QA Specialist – Junior Location: Toronto, ON Experience: 0–3 Years Job Type: Contract Job Summary We are seeking a motivated Junior QA Specialist to support software quality assurance and testing activities across web applications, APIs, and enterprise...Contract work
- ...opportunity? RBC Borealis is at the forefront of artificial intelligence research and development, driving the innovative edge for the Royal Bank... .... Iteratively refine and deliver machine learning concepts from proof of concept through to product delivery; Research Leadership....Full timeLocal areaFlexible hours
$110.97k - $184.96k per year
...Division: Temerty Faculty of Medicine Department: Ofc Vice Dean, Research & Health Sci Edu Campus: St. George (Downtown Toronto)... ...Continuing Schedule: Full-Time Pay Scale Group & Hiring Zone: PM 4 -- Hiring Zone: $110,973 - $129,471 -- Broadband Salary Range: $110...Long term contractFull timeTemporary workWork at office- ...Non-Union Number of vacancies: 1 New or Replacement Position: New Site: Allan Slaight Medical Innovation Labs Department: Research Reports to: Principal Investigator Salary Range: $54,902 - $93, 333 per year Hours: 37.5 hours per week Shifts: On site,...RemplacementFull timeContract workTemporary workTraineeshipCasual workInternshipMonday to fridayFlexible hoursShift workDay shift
$27.56 - $34.45 per hour
...45 per hour Hours: 37.5 hours per week Status: Temporary Full-Time Closing Date: October 23, 2026 Position Summary As a Research Analyst, you will provide research, knowledge transfer, and overall administrative support. Your strong research and management...Hourly payRemplacementFull timeTemporary workTraineeshipInternshipFlexible hours$62.65k per year
...unlimited potential. Join us on our journey. The Department of Psychology at the University of Toronto Scarborough is a vibrant, research and teaching intensive department. In addition to providing students with deep grounding in one or more disciplinary traditions, the...Full timeWork at office$29.87 - $37.34 per hour
...social environment of UHN’s most medically and socially complex patients with the highest needs through the design, implementation, research, and evaluation of new care models and initiatives to address the health implications of inequity. Job Summary We are seeking a...Hourly payFull timeTemporary workInternshipWork at officeMonday to fridayFlexible hoursShift workAfternoon shiftEarly shift$44.85k - $56.55k per year
Choose a workplace that empowers your impact. Join a global workplace where employees thrive. One that embraces diversity of thought, expertise and experience. A place where you can personalize your employee journey to be — and deliver — your best. We are a purpose-driven...Long term contractContract workTemporary workInternshipManual laborWork at officeFlexible hours
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Lean 4 Formal Proof Researcher. Be the first to apply!
Related searches
- agricultural researcher Toronto, ON
- computer vision researcher Toronto, ON
- remote researcher Toronto, ON
- online researcher Toronto, ON
- machine learning researcher Toronto, ON
- sports researcher biomechanics Toronto, ON
- agricultural researcher
- researcher agricultural entomology
- computer vision researcher
- photonics researcher