Remote Lean 4 Formal Verification Scientist
Alignerr Corp.
Alignerr Corp. seeks a Formal Verification Scientist to translate advanced mathematical arguments into machine-verifiable Lean proofs, pushing the boundaries of proof automation.
This is a fully remote, hourly contract for mathematicians who live and breathe rigorous proof construction and want flexible weekly hours between 10 and 40.
You'll translate informal proofs into Lean 4, analyze gaps, and design reproducible proof scripts while collaborating with researchers on verification pipelines.
#J-18808-LjbffrVacancy posted 19 hours ago
Similar jobs that could be interesting for youBased on the Remote Lean 4 Formal Verification Scientist in Ottawa, ON vacancy
- ...training could directly shape how AI understands and reasons about formal proof? We're looking for Formal Verification Scientists to translate advanced mathematical arguments into precise, machine-verifiable Lean proofs — working at the very edge of what proof assistants can...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr Corp.
Ottawa, ON19 hours ago - ...Lean 4 Proof Engineer — Mathematical Formalization What if your deep mathematical training could directly shape how the world's most advanced AI systems... ...assistants can express and automate. This is a fully remote, flexible contract role built for mathematicians who find...Remote workHourly payOngoing contractContract workFreelanceFlexible hours
Alignerr Corp.
Ottawa, ON9 hours ago - Elevate AI model capabilities with a part-time role as a Lean 4 Formal Mathematician at Cincinnatus LLC. Engage in writing, reviewing, and formalizing mathematics proofs using Lean 4 techniques. This position requires expertise in creating precise Lean 4 statements and proofs...SuggestedPart timeFlexible hoursWeekday work
Mercor
Ottawa, ON19 hours ago - ...Alignerr Corp. seeks a Mathematical Formalization Specialist to translate complex proofs into Lean and related systems, ensuring rigor, correctness,... ...proof scripts to advance AI reasoning and verification pipelines. Fully remote, hourly contract with flexible commitment....Remote workHourly payContract workFlexible hours
Alignerr Corp.
Ottawa, ON19 hours ago $108k - $158k per year
...Position Minimum Qualifications: • Bachelor's degree in Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience. OR Master's degree in Science, Engineering, or related field and 1+ year...SuggestedRemplacementFull timeQualcomm
Ottawa, ON5 days ago- ...information, follow Telesat on X and LinkedIn or visit The Systems Verification Engineering Specialist for Ground Segment will be supporting the... ...position where the resource will be required to work onsite 4 days weekly Responsibilities: The System Verification Engineering...Full timeInternshipWork at officeWorldwide
Telesat Corporation
Ottawa, ONmore than 2 months ago - ...Location: Canada (Remote-friendly) Start date: ASAP Languages: English (required),... ...looking for a Full-Stack Engineer (backend-leaning) who can take ownership of features end to... ...What Were Looking For ~4+ years of experience in Full-Stack or Backend...Remote jobImmediate startFlexible hours
$80k - $95k per year
...K1P 5V5 and Ottawa-based Home Office, or, remote if located outside of the National... ...individuals to join the Larus Labs team as Data Scientists, where we develop end-to-end real-time... ...design, development, deployment, and verification of AI/ML models in production pipelines;...Remote workPermanent employmentFull timeWork at officeHome officeMonday to friday3 days per week- ...System Verification & Test Engineer Ottawa, ON Mist Mobility Integrated Systems Technology is a pioneering company in the field of precision aerial delivery and recovery systems including the Sherpa™ family of GPS guided parafoils, Space Recovery Systems, LaunchPADS...Full timeCasual workWorldwide
Mmist Llc
Ottawa, ONmore than 2 months ago $85k - $112k per year
...radio access network baseband products at a major telecom solutions provider. What you'll do Proactively drive the feature verification of 5G RAN features: determine lab configuration requirement for feature testing, create the test plan for feature verification,...Full timeSyntronic
Ottawa, ONmore than 2 months ago- ...one LEO 3 demonstration satellite. For more information, follow Telesat on X and LinkedIn or visit Role Overview: The System Verification Engineering Specialist for Space Segment will be supporting the development and execution of key system verification and validation...Full timeInternshipWork at officeWorldwide
Telesat Corporation
Ottawa, ONa month ago - ...Amalent is a world-class formal verification engineering services company. Using the functional verification process of formal signoff, we help semiconductor development teams to deliver the maximum possible design quality in the shortest amount of time. The Role At...Internship
Amalent
Ottawa, ON19 hours ago $185k - $200k per year
...overview We are looking for a Staff Data Scientist to lead the development of advanced machine... ...and Equity Flexible Work – Hybrid or Remote Comprehensive health benefits and wellness programs Unplug and recharge - 4 company-wide digital detox days annually...Remote workLong term contractFlexible hours$27 per hour
Hello! We are a warm and welcoming family with 4 kids (8, 6, 3 and 10 months) based in Ottawa. We're looking for a warm, reliable and caring nanny to join our household on a full-time basis. Specifically, we would like to find someone who can support our family in 3 main ways...Hourly payLong term contractFull timeLive outLive InFlexible hoursDay shiftAfternoon shiftCanadianNanny.ca
Ottawa, ON2 days ago$240.08k - $352.11k per year
...selling, add-on sales, and cross-selling. Location: This position is remote and reports to the Manager, Expansion for the Northeast region.... ...thrive. Learn more here: In-Person Onboarding and Identity Verification This role may require in-person onboarding and/or in-person...Remote workLong term contract- Job Description: I hope you are having a good day. I am seeking a child care provider living in Ottawa, Ontario. I'm hoping to find a well Trained, great employee who has live-out availability. Services And Training: My home requires child care, reading books, and travel support...Live out
CanadianNanny.ca
Ottawa, ON6 days ago $157.84k - $199.61k per year
...La personne idéale pour occuper ce poste détient un diplôme universitaire, un titre de comptable professionnel agréé (CPA) ou de vérificateur interne agréé (CIA) et possède au moins dix (10) ans d’expérience pertinente. Une expérience dans le domaine de l’audit d’administrations...Work at office- ...related field and 6+ years of ASIC design, verification, validation, integration, or related work... ...Science, Engineering, or related field and 4+ years of ASIC design, verification,... ...and coverage closure. Experience with formal verification, emulation, or FPGA prototyping...Remplacement
- We live in Wellington West, and are looking for someone to work full-time to care for our three kids, aged 4, 2 and newborn. Our eldest is in school part-time right now, and may transition to full time later on. Hours will be something like 8-4pm, and we'd love for our hire...Full timePart timeLive InWeekend work
CanadianNanny.ca
Ottawa, ON2 days ago - We are a family located in Ottawa, Ontario seeking a reliable and caring nanny to assist with our child with autism. This is a part-time position and the ideal candidate should be available to work during the week, for after school for two hours. The responsibilities will include...Hourly payPart timeLive outMonday to friday
CanadianNanny.ca
Ottawa, ON8 days ago - We are looking for a caring, patient, and reliable nanny to support our 4-year-old daughter who is on the autism spectrum. This is a part-time position, once a week, with the potential for occasional additional hours. The role includes: Providing attentive, nurturing care...Part time1 day per week
CanadianNanny.ca
Ottawa, ON1 day ago $57.69 per hour
Work Term: Permanent Work Language: English Hours: 44 hours per week Education: Master's degree Experience: 5 years or more Work setting Manufacture Tasks Supervise technicians, technologists and other engineers Conduct research to expand knowledge ...Permanent employmentFull timeOZ Optics Ltd.
Ottawa, ON3 days ago- I am looking for a temporary nanny from June 1 to June 26 for my 12-month-old daughter. Hours would be Monday to Friday, 9 AM to 4 PM. We are located in Ottawa, Ontario, near the Experimental Farm. Care would be provided at our house, but we are looking for a live-out nanny...Temporary workLive outMonday to friday
CanadianNanny.ca
Ottawa, ON13 days ago $118k per year
...About The Team The Applied Research team is a group of data scientists and content specialists who are experts in leveraging machine learning... ..., accurate and concise project documentation Requirements ~4+ years of post qualification experience developing machine...Long term contractFor contractorsLocal areaHome officeFlexible hours- ...Canada and internationally, specializing in ASIC and FPGA design, verification, and embedded software development. We strengthen our clients'... ..., and error handling with firmware teams. Apply simulation, formal and connectivity checks, low-power verification, and hardware/...Full timeContract workInternship
- ...Qualcomm Canada ULC is seeking an experienced Senior Staff ASIC/FPGA Design Verification Engineer in Ottawa. You will define and verify IP blocks and subsystems for high-speed interconnects, collaborate with architecture, design and software teams, and mentor engineers to uphold...
- Responsibilities * Provide attentive, loving and patient care for two young boys, ages 4 and 1. * Support my 4-year-old, who is non-verbal and on the autism spectrum, with his daily routine, communication and learning. * Assist with simple homeschooling and structured learning...Monday to friday
CanadianNanny.ca
Ottawa, ON22 days ago $133.1k - $212.5k per year
...of products plays a crucial role in our success. As a Digital Verification Engineer (FEC), you will be an integral part of a team responsible... ...for developing verification, functional coverage and formal verification test plans. Thoroughly validate one or more architectural...- Elevate your engineering career as a Senior ASIC/FPGA Design Verification Engineer with Qualcomm in Canada. Your expertise in ASIC verification will drive innovation and high-speed interconnect solutions. At Qualcomm, we're searching for an experienced engineer to lead verification...
- Qualcomm Canada ULC is seeking a Senior FPGA/ASIC Design Verification Engineer to innovate cutting-edge technology. Collaborate across teams to optimize and validate high-performance designs in a hybrid work environment. In this position, you will leverage your expertise in...
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Remote Lean 4 Formal Verification Scientist. Be the first to apply!
Related searches
- scientifique biologie Ottawa, ON
- communication scientifique Ottawa, ON
- research scientist Ottawa, ON
- r&d research scientist Ottawa, ON
- consultant scientifique Ottawa, ON
- remote steel estimator Ottawa, ON
- data analyst remote working Ottawa, ON
- remote nonprofit Ottawa, ON
- software development remote Ottawa, ON
- remote copywriter Ottawa, ON