Talent.com
Cognichip
Formal Verification Engineer in AI SectorCognichip • Toronto, ON, Canada
Formal Verification Engineer in AI Sector

Formal Verification Engineer in AI Sector

Cognichip • Toronto, ON, Canada
Il y a 23 jours
Type de contrat
  • Temps plein
Description de poste
Step into the role of Formal Verification Engineer in the AI sector, where analytical thinkers solve the toughest correctness challenges. This is a prime opportunity for candidates with a strong mathematical background. As part of our verification team, you will delve into mathematically proving complex systems function as intended. Ideal candidates will have experience in formal methods, research, or rigorous quantitative disciplines and be prepared to learn new domains quickly. Your work will involve key responsibilities that enhance verification methodologies. Key Responsibilities: • Develop formal verification environments for complex systems • Translate design documents into formal properties • Conduct property checking and model checking effectively • Improve methodologies for verification coverage • Support productivity through custom scripts Requirements: • Degree in Computer Science, Mathematics, or Physics • Demonstrated mathematical reasoning skills • Proficient in programming (Python, C++) • Fast learner of new verification tools • Hands-on verification experience preferred Contribute to exciting projects in AI by ensuring rigorous verification of systems. #J-18808-Ljbffr
Créer une alerte emploi pour cette recherche

Formal Verification Engineer in AI Sector • Toronto, ON, Canada

Offres similaires

Senior Principal Engineer - AI Framework Programming Expression Technology

Huawei Canadamarkham, york region, Canada
Temps plein +1

Senior Principal Engineer - AI Framework Programming Expression Technology.Be among the first 25 applicants.Senior Principal Engineer - AI Framework Programming Expression Technology.Huawei Canada ... Voir plus

 • Offre sponsorisée

Innovative AI Engineer at OpenSesame

General Magictoronto, on, Canada
Temps plein

Join OpenSesame in Toronto as an AI Engineer to revolutionize how insurance interacts with clients through SMS technologies.Focus on backend development and be a key player in sophisticated AI solu... Voir plus

 • Offre sponsorisée

Fintech Principal Engineer with AI Focus

Robertson & Company Ltd.toronto, on, Canada
Temps plein

Drive innovation in fintech as a Principal Engineer focusing on AI integration.Work in a hybrid setting from Downtown Toronto or North York and make a significant impact.Our client, a leader in fin... Voir plus

 • Offre sponsorisée

AI Platform Engineer

SoniToronto, ON, CA
Temps plein

DevOps transformation to support application teams and enhance developer experience through scalable tooling and CI/CD solutions.Develop services and tools that integrate with existing DevOps platf... Voir plus

 • Offre sponsorisée

Founding AI Platform Engineer - Equity & Growth

PetsApptoronto, on, Canada
Temps plein

A tech-driven healthcare firm in Toronto is seeking a Founding Engineer to architect and scale their AI-driven communication platform.You will work closely with the founding team to deliver feature... Voir plus

 • Offre sponsorisée

AI Platform Engineering at RAVL

RAVLtoronto, on, Canada
Temps plein

Join RAVL to redefine AI technology in the financial services sector.We are hiring for a Senior AI Platform Engineer to deliver scalable, production-ready AI systems.This role at RAVL seeks an AI P... Voir plus

 • Offre sponsorisée

Expert Software Engineer in AI at Mozilla

MozillaToronto, ON, CA
Temps plein

Elevate AI infrastructure with Mozilla as a Senior Software Engineer.Design and manage platforms for efficient model training and deployment.This role requires a strong platform mindset to construc... Voir plus

 • Offre sponsorisée

Engineer for Cohere's AI Platform

CohereToronto, ON, CA
Temps plein

Become part of Cohere as an Engineer focusing on the Agents & Automations within our AI platform.Help reshape how enterprises leverage AI in a flexible, remote-first workplace.Cohere, the forefront... Voir plus

 • Offre sponsorisée

Senior, Applied AI Engineer

Headstart AItoronto, on, Canada
Temps plein

This range is provided by Headstart AI.Your actual pay will be based on your skills and experience — talk with your recruiter to learn more.At Headstart our mission is to bring companies into the a... Voir plus

 • Offre sponsorisée

Innovative Remote AI Engineer for Financial Workflow Automation

LumenaltaToronto, ON, CA
Télétravail
Temps plein

Shape the future of finance as a Remote AI Engineer dedicated to innovative AI applications in workflow automation.Build and deploy cutting-edge AI systems to enhance compliance and operational eff... Voir plus

 • Offre sponsorisée

Design Verification Engineer, Annapurna Labs

Amazon Web Services (AWS)toronto, on, Canada
Temps plein

Amazon is the world’s most comprehensive and broadly adopted cloud platform, and our Custom Silicon organization is revolutionizing how we deliver cloud services to our customers.You’ll be part of ... Voir plus

 • Offre sponsorisée

Product Engineer Specialized in AI at Docebo

DoceboToronto, ON, CA
Temps plein

Shape the future of AI-driven training as a Product Engineer at Docebo.Lead strategic initiatives and innovate tool usage to enhance learning experiences globally.In the role of Product Engineer, y... Voir plus

 • Offre sponsorisée

Formal Verification Engineer in AI Sector

CognichipToronto
Temps plein

Step into the role of Formal Verification Engineer in the AI sector, where analytical thinkers solve the toughest correctness challenges.This is a prime opportunity for candidates with a strong mat... Voir plus

 • Offre sponsorisée

Senior Software Architect - AI Innovations

OpenTextrichmond hill, york region, Canada
Temps plein

Lead AI innovations at OpenText as a Senior Principal Software Architect.This role focuses on hands-on architecture design and AI systems improvement.As part of the AI Engineering team, you will be... Voir plus

 • Offre sponsorisée

Forward Deployed Engineer in AI

Sagard Holdings Manager LPToronto, ON, CA
Temps plein

Take on a pivotal role at Sagard as a Forward Deployed Engineer specializing in AI infrastructure.Help drive innovative AI solutions within our investment framework.As part of the AI team at Sagard... Voir plus

 • Offre sponsorisée

AI-Driven Chip Verification Engineer

Arcadiatoronto, on, Canada
Temps plein

A well-funded AI and semiconductor startup is seeking a Junior/Intermediate Design Verification Engineer in Toronto, offering a competitive salary of CA$150K to CA$200K plus equity.Responsibilities... Voir plus

 • Offre sponsorisée

Remote Forward-Deployed Engineer: AI-Driven Modernization

Banyan SoftwareToronto, ON, CA
Télétravail
Temps plein

A leading software company is seeking a Forward Deployed Engineer to drive the modernization of applications with a focus on AI-assisted software development practices.This hybrid role requires ove... Voir plus

 • Offre sponsorisée

Forward Deployed Engineer (+ Equity) at innovative AI systems company

TechTreeToronto, ON, CA
Temps plein

AI systems for scientific and engineering applications.This role involves working directly with customer organizations to translate complex engineering challenges into deployable AI systems, impact... Voir plus

 • Offre sponsorisée

AI Inference Optimization Engineer at Cerebras

Cerebras Systems, Inc.Toronto, ON, CA
Temps plein

Enhance AI technologies at Cerebras Systems as an AI Inference Optimization Engineer.Utilize your programming expertise to build systems that optimize large-scale ML performance.Cerebras is looking... Voir plus

 • Offre sponsorisée

Forward Deployed AI Engineer

EQ BankToronto, ON, CA
Temps plein

We are looking for a Staff-level Forward Deployed AI Engineer to design, build, and deliver AI-powered applications that create measurable business impact.This is a hands‑on engineering role with s... Voir plus