Lean 4 Mathematical Formalization Engineer
Alignerr
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 10 to 40 hours weekly. You will formalize arguments, analyze proof structures, and investigate automated prover limitations. The work connects mathematics, computer science, and formal verification through Lean 4.
Key Responsibilities:
- Translate informal proofs into clear, structured Lean 4 formalizations
- Identify gaps, assumptions, and formalizable proof sub-structures
- Construct proofs testing automated prover capabilities
- Investigate missing lemmas, complexity limits, and insufficient libraries
- Collaborate on formal verification pipeline strategies
Requirements:
- Master's degree or higher in mathematics, logic, or related fields
- Strong rigorous proof foundation across mathematical domains
- Experience with Lean, Coq, Isabelle/HOL, Agda, or comparable assistants
- Ability to translate dense arguments into structured formal proofs
- Enthusiasm for formal verification and mechanized mathematics
Apply mathematical rigor, Lean 4 expertise, and formal verification skills to machine-verifiable AI research proofs remotely.
#J-18808-LjbffrVacancy posted 6 hours ago
Similar jobs that could be interesting for youBased on the Lean 4 Mathematical Formalization Engineer in Toronto, ON vacancy
$157k - $235k per year
...adopted' Collaborate with product managers, engineers, product marketers, and designers... ...relevant technical field such as statistics, mathematics, economics, computer science, engineering... ...our team members to work in an office 4+ days per week. At Snap, we believe that having...SuggestedLong term contractFull timeLive InWork at officeLocal area$50 per hour
...Role : Data Engineer Pay Rate: $50 CAD per hour INC Duration: 4 month contract + possible extension Location: Toronto, ON Working Structure: Hybrid 2 days per week in office -- We have a great new opportunity to support one of our clients in a contract...SuggestedHourly payContract workWork at office2 days per week$140k - $190k per year
...48742 Job Category: Faculty - Tenure Stream (continuing) Faculty/Division: Faculty of Arts & Science Department: Department of Mathematics Campus: St. George (Downtown Toronto) Existing Vacancy: Yes POSITION DESCRIPTION The Department of Mathematics in the...SuggestedPermanent employmentFull time$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...SuggestedDaily 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...SuggestedHourly payFull timeContract workApprenticeshipRemote workFlexible hours
- 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
- ...Get hands-on with cutting-edge space technology and real-world engineering challenges. - Dedicated mentorship to support your learning and... ...environment while contributing to day-to-day IT operations. This 4-month internship is designed for students early in their IT...InternshipWork at office
$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- ...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
- 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
$130k - $160k per year
...Role : Bilingual Senior Software Engineer (PHP / Typescript / Javascript) Location: Toronto (2 days in office) or Montreal (2 days in office) Compensation: Annual Base salary between $130,000-$160,000 -- We have a great new opportunity to support one of our clients in...Full timeWork at office- ...opportunity for involvement in both local and national projects. Position Requirements Do you have what we’re looking for? A minimum of 4 years of practice experience in the tax dispute areas; A strong grasp of foundational income tax principles; Excellent academic...InternshipWork at officeLocal area
$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- ...looking for an Operations Research Engineer to join the Workforce... ...applying operations research, mathematical optimization, and algorithm design... ...the schedule optimization engine using OR-Tools/CP-SAT. Own... ...constraint model end to end: formalize business rule into a solvable...InternshipRemote workRelocation
$108k - $135k per year
...interaction into a moment of genuine connection. As a Data Engineer on the SCC team, you will have ownership over the data... ...~ Bachelor's degree in Computer Science, Engineering, Mathematics, Statistics, or a related field ~4+ years of professional experience in data engineering,...Hourly payFull timeWork at officeFlexible hours3 days per week$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 workWork experience placementInternshipWork at office- Founded in 2006, Joe Fresh is a leading source for modern style and accessible design, offering comprehensive lifestyle collections for men, women and children. Joe Fresh delivers quality and compelling value in categories spanning in apparel, accessories, and footwear. Joe...Contract workSeasonal workWork at office
$142k - $217k per year
...to any audience? At Tanium our Solution Engineering team works closely with Sales and Customer... ...prospects in person We're Looking For: ~4+ years of operational and/or selling... ...attitude ~ BS degree in Computer Science, Mathematics, Engineering or equivalent experience...Full timeInternshipLive InWorldwideFlexible hours$125.28k - $210.6k per year
...YOU'LL DO We’re looking for a Software Engineer II to join our WhatsApp team. Our team is... ...love to hear from you! WHO YOU ARE ~2-4 years of full-stack development experience... ...Professional development supported by formal career pathing, learning platforms, and a...InternshipWork at officeLocal areaFlexible hours$105.1k - $129.4k per year
...Description We are looking for a motivated Senior Java Developer (Engineer I) to join our Trading Risk Warehouse platform team within TD... ...Bachelor's degree in Computer Science, Engineering, Mathematics, or related technical discipline. An equivalent combination...Full timeWork from home$173k - $197.4k per year
...Manager, AI Engineer About Capital One Canada For 30 years, we've been on a mission to change... ...a strong foundation in engineering and mathematics, and your expertise in hardware, software,... ...Engineering, or related fields plus at least 4 years of experience developing AI and ML...Long term contractFull timeWork at officeWork from home$113k - $163k per year
...As a Senior Platform Engineer, you will build and operate the shared platform that application... ...or blue/green deployment approaches. 4+ years of experience with Terraform and CI/... ...in a regulated enterprise environment with formal change-management, control, and audit requirements...Long term contractTemporary workLocal areaFlexible hours$1200 - $1500 per week
...Co-op (Winter 2027 – Toronto, 4 months) LOCATION: Toronto, ON... ...ordination activities including formalizing agreed actions and key... ...Technology, Computer Science, Computer Engineering, or a related technology-... ...communication skills – spoken & written, formal/informal presentation;...Work experience placementWork at officeLocal areaRelocationShift work3 days per week$62k - $72k per year
...enthusiastic experienced Process Development Engineer (NPI & Production Support) to join our... ...the value chain by effectively utilizing lean manufacturing principles. Work closely... ...-paced work environment. ~ Excellent mathematical and mechanical aptitude. ~ Excellent trouble...Full timeImmediate startShift work- ...Job Details LONG TERM OCCASIONAL POSITION ( LTO ) Long Term Occasional Position - French Immersion - Grade 3 and Grade 4 (100% St. Jerome Catholic School) Learn more about the schools at: St. Jerome Catholic School Vision The Toronto Catholic District School...Long term contractInternship
$133k - $209k per year
...WHAT YOU'LL DO As a Senior Security Engineer on the Enterprise Security team, you'll protect... ..., network security, endpoint security ~4+ years of experience working in a corporate... ...Professional development supported by formal career pathing, learning platforms, and a...InternshipWork at officeLocal areaFlexible hours- ...featuring Jude Law. Joining Legora means three things. We lean in: ownership over titles, outcomes over intentions. We fight... ...and confidently with diverse stakeholders, both lawyers and engineers. I.e. translating across disciplines is second nature to you....Full timeInternshipWork at officeShift work
$86.1k - $136.1k per year
...dynamic, and efficient applications. We are looking for a Quality Engineer who is curious about emerging technologies, comfortable working... ...quality standards and technical changes. Prepare and deliver formal quality audit reports. Required Qualifications: 3+ years of...Long term contractTemporary workLocal areaFlexible hours$66.3k - $87.75k 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 workInternshipWork at office
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Lean 4 Mathematical Formalization Engineer. Be the first to apply!
Related searches
- forklift engineer Toronto, ON
- junior aws engineer Toronto, ON
- forestry engineer Toronto, ON
- city engineer Toronto, ON
- powertrain engineer Toronto, ON
- engineer intern Toronto, ON
- contact center engineer Toronto, ON
- visa sponsorship engineer Toronto, ON
- solid waste engineer Toronto, ON
- ingénieur génie des procédés Toronto, ON