Formal Verification Engineer - AI - Toronto, Canada
Cognichip
Job Title
Formal Verification Engineer - AI
About The Role
We are looking for exceptional analytical minds to join our verification team. Our work centers on a hard and rewarding problem: mathematically proving that complex systems behave exactly as specified — no edge cases, no exceptions.
You might be an experienced formal methods practitioner, or you might come from pure mathematics, physics, or another rigorous quantitative discipline and be looking to apply your skills to concrete, high-impact engineering problems.
If you have a talent for precise reasoning, constructing airtight arguments, and learning new technical domains quickly, we will teach you the rest.
Key Responsibilities
- Develop and apply formal verification environments for complex systems.
- Translate specifications and design documents into rigorous formal properties.
- Perform property checking, model checking, and automated proof development; debug and root‑cause counterexamples.
- Improve verification coverage, methodology, and reusability across projects.
- Develop scripts and utilities to support verification productivity.
Required Qualifications
- BS, MS, or Ph.D. in Computer Science, Mathematics, Physics, or another rigorous quantitative field.
- Demonstrated strength in mathematical reasoning — through formal verification experience, research, competition mathematics, or comparable evidence of rigor.
- Solid programming skills (e.g., Python, C++) and the drive to rapidly master new tools and domains.
Preferred Qualifications
- Hands‑on experience with formal verification: model checking, property specification, or automated theorem proving.
- Experience with interactive theorem provers (e.g., Coq, Lean, Isabelle, ACL2) or SMT solvers (e.g., Z3, CVC5).
- Experience building verification tooling or contributing to open-source formal methods projects.
- Background in logic, type theory, discrete mathematics, or mathematical physics.
What We Offer
- The chance to work on genuinely hard correctness problems where rigor matters.
- Mentorship from experienced formal methods engineers and a structured ramp‑up into the field.
- A culture that values depth, precision, and first‑principles thinking.
Vacancy posted 5 hours ago
Similar jobs that could be interesting for youBased on the Formal Verification Engineer - AI - Toronto, Canada in Toronto, ON vacancy
$99.9k - $135.1k per year
...Arm Security IP Team - Design Verification Engineer Our Arm Security IP Team is seeking creative and... ...strategies including, SystemVerilog UVM, C, Formal, and Hardware/Firmware co-verification.... ...mindset shapes life at Arm: Use of AI in Your Application At Arm, we embrace...SuggestedFull timeWork at officeLocal area- ...team shepherds our customers’ adoption of AI and ensures that our customers' product experience... ...with Sales, Technical Success, Product, Engineering and others, to deliver the best possible... ...how support operates at scale. This Toronto-based role is currently remote and is expected...SuggestedFull timeInternshipWork at officeRemote work
- ...growth and profitability. Visit our Institutional Page Engineering at Nubank We strive for state-of-the-art software... ...English - you'll be part of a global team Location Toronto, Canada Work model Hybrid Office requirement Hybrid 2–3 times...SuggestedFull timeWork at officeWork from homeRelocation package
- ...instinct to spot a "normalized" problem and the AI-native curiosity to create a solution... ...’ll fit right in. Available Location: Toronto, Canada About Us At Cloudflare, we are on a... ...right in. What you will do as a Customer Engineer The Customer Engineer (CE) is the core...SuggestedFull timeInternshipLocal area
- ...Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity... ...Role Overview As a Senior Design Verification Engineer, you will help build and validate... ...communication skills. Authorized to work in Canada. Preferred Qualifications...SuggestedFlexible hours
$90 - $110 per hour
...Mercor connects elite creative and technical talent with leading AI research labs. Headquartered in San Francisco, our investors... ..., Larry Summers , and Jack Dorsey . Position: Lean Engineer, Formal Mathematics (Lean 4, Mathlib, Theorem Proving) Type: Contract...Remote jobContract workSummer workWeekday work$159.4k - $215.6k per year
...of working and want to grow in an environment where bold ideas are welcomed. Discover how the 10x mindset shapes life at Arm: [ Use of AI in Your Application At Arm, we embrace the benefits AI can bring, including in recruitment. You may use AI to support your preparation...Full timeWork at officeLocal area$167.5k - $235k per year
...autonomous cross-functional team to build AI agents that fundamentally transform how operations... ...currently consists of fewer than five engineers. The work spans critical areas including... ...wage range for this position based in our Toronto office is targeted at $167,500.00 to $235,...Long term contractCasual workInternshipWork at officeLocal areaImmediate start$84k - $112k per year
...About the Role: We have a current opening for a Canada BU People Generalist - Toronto and are actively reviewing applications. The People Generalist – Toronto... ...process, Ferrero may use artificial intelligence (AI) enabled tools to assist with reviewing candidate applications...InternshipWork at officeLocal area$110.5k - $143k per year
52257- Toronto - Regular . Hiring Salary Range : $110,500.00-... ...procedures among all users via formal training, continual coaching and... ...by Forbes in its list of Canada’s Best Employers for 2026.... ...vacancy. Hydro One uses AI tools to assist in the screening...- ...The Opportunity: We are expanding our Sales Engineering teams to accelerate growth within our global financial services, healthcare, and enterprise customer base. We’re looking for talented professionals who understand solution selling , thrive in ecosystem-driven...Full time
$148k - $175k per year
...is leading the revolution in AI data center infrastructure, enabling... ...’s first 3D-stacked photonics engine, Passage™, capable of... ...computing with light! As a Design Verification Engineer at Lightmatter, you... ...verification, post-silicon validation formal verification, emulation, and...Long term contractFull timeTemporary workFlexible hours- ...lead in machine intelligence by building AI that is user-centric and physically grounded... ...spatial awareness. The AI Center in Toronto, Canada plays a pivotal role in developing next-... ...with a team of research scientists and engineers tackling real-world problems involving Samsung...Long term contractWork at officeLocal areaHome officeFlexible hours
$72k - $138k per year
...Reference code: 130069 Primary Location: Toronto, ON All Available Locations:... ...-- We are looking for a passionate AI Research Engineer to join our team. You will work at the... ...the full diversity of communities across Canada. This includes, but is not limited to,...Permanent employmentFlexible hours- ...Elevate your career as an AI DevOps Specialist with Celestica, working remotely in a hybrid model from Toronto, Ontario. Focus on deploying, optimizing, and securing AI frameworks... ...related field 4+ years of DevOps or Cloud Engineering experience Hands-on AI/MLOps platform...Remote work
- ...details Title of position: Senior Forward Deployed Engineer Position type: Full time - Hybrid Location: Toronto, Canada Position reports to: Director of Software... ...in intelligent networking, generative AI, agentic systems, automation, and cloud platforms...Full timeWork visa
- ...connected future through world-class networks, AI-powered solutions, and digital... ...Description We are looking for a hands-on AI Engineer (CP2) to design, build, and deploy the... ...: Regular - Full Time Job Location: Canada : Ontario : Toronto || Canada : Ontario : Mississauga...Full timeWork at office3 days per week
$93k - $130k per year
...built for the way people and AI agents work today. As one of the... ...a new flagship office in Toronto, and we need a senior technical... ...office, you will provide ongoing engineering leadership, drive technology improvements... ...opportunity within Toronto, Canada. What we're looking for:...Long term contractFull timeFor contractorsWork at officeLocal areaImmediate startRemote workWork from home- ...About Strada Strada builds AI agents that run insurance operations. Insurance powers the global economy, helping... ...The Role We're looking for a Senior Full Stack Engineer to join us in-person at our Toronto office. You'll work at the forefront of agentic AI, developing...Full timeWork at officeImmediate startMonday to friday
- ..., not the human. Maxima is the agentic AI platform for enterprise accounting. Our three... ...below. The role As a Deployment Engineer , you get customers live. You will sit... ...work This role is based in our downtown Toronto office, near Union Station. We value in-person...Full timeInternshipWork at office
- ...human. Maxima is the agentic AI platform for enterprise... ...enterprise automation, with an engineering team that includes staff-level... ...general engineering role in our Toronto office, and general is the point... ...fintech, or complex workflow engines Where and how you'll work...Full timeInternshipWork at office
$84k - $175k per year
...133810 Primary Location: Toronto, ON All Available Locations... ...design and implementation of AI-powered applications and agents... ...solutions including: o Prompt engineering o Retrieval-Augmented... ...diversity of communities across Canada. This includes, but is not limited...Permanent employmentFlexible hours- ...into the unlimited potential of AI to define the next era of computing... ...! We are looking for an ASIC Verification Intern to join our team working in the Toronto office! In this position, you will... ...to verify them. Work with RTL engineers to help bring up features, debug...Hourly payFull timeSummer workInternshipWork at office
usd84.38k per year
About Hiya At Hiya, we’re making business calls more trusted, useful, and effective. Voice remains one of the most important ways businesses communicate with their customers, but the value of a call depends on trust. When customers do not recognize who is calling or why...Full timeInternship$145k - $195k per year
...Position Description: CGI is Canada's largest independent information technology services firm, and after 50 years, we continue to grow. We are building a new AI engineering capability within our Toronto Financial Services (TFS) business unit, serving clients across Banking...Full timeWork at office2 days per week- ...exceptional candidate to join our high-performing team of Solution Engineers/Field Engineers in Canada. You will collaborate closely with regional peers across... ...value and success Location This role is based in Toronto and will require travel to customer sites where...Long term contractFull timeInternshipRemote workWork from home
- ...team shepherds our customers’ adoption of AI and ensures that our customers' product experience... ...with Sales, Technical Success, Product, Engineering and others, to deliver the best possible... ..., and preventative improvements. This Toronto-based role is currently remote and is expected...Full timeInternshipWork at officeImmediate startRemote work
- ...closely with Technical Success, Product, Engineering and others to deliver the best possible experience... ...-first mindset and leverage the latest in AI to scale our support operations. Join the... ...will be low volume, high difficulty. This Toronto-based role is currently remote and is...Full timeWork at officeRemote workWeekend work
$125k - $175k per year
...We are now looking for a Senior ASIC Verification Engineer for our Coherent High Speed Interconnect team... .... With our invention of the GPU - the engine of modern visual computing - the field has... ...at the beginning of the next era, the AI computing era, ignited by a new computing...Full time$136k - $187k per year
...Secure Every Identity, from AI to Human Identity is the key to unlocking the potential... ...with their unique experiences. The Engineering Opportunity Okta's Workforce Identity Cloud... ...salary range for candidates located in Canada. Your actual salary will depend on factors...Long term contractLocal areaWorldwideFlexible hours
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Formal Verification Engineer - AI - Toronto, Canada. Be the first to apply!
Related searches
- validation specialist Toronto, ON
- computer system validation engineer Toronto, ON
- design verification engineer Toronto, ON
- soc design verification engineer Toronto, ON
- ingenieur validation systeme automobile
- validation specialist
- computer system validation engineer
- ingenieur test validation
- design verification engineer
- soc design verification engineer