Formal Verification Engineer In Ai Sector

Cognichip

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

Apply

Vacancy posted 1 hour ago

Similar jobs that could be interesting for youBased on the Formal Verification Engineer In Ai Sector in Winnipeg, MB vacancy

Senior Formal Verification Engineer - Lpu
$195k - $245k per year
...people! Today, we’re tapping into the unlimited potential of AI to define the next era of computing. An era in which our GPU... ...you can build a lasting impact on the world! As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the forefront...
Suggested
NVIDIA Corporation
Winnipeg, MB
1 hour ago
Hybrid Formal Verification Engineer (Ip/Soc)
...Intel Corporation in Toronto, Canada seeks an experienced Formal Verification Engineer to ensure the reliability of IP and SoC designs. You will apply formal verification methods, model checking, and abstraction techniques to tackle complex architectural challenges and collaborate...
Suggested
Intel Corporation
Winnipeg, MB
1 hour ago
Verification Engineer - Ai Soc Development
$153.91k - $217.28k per year
The Role and Impact As an Emulation Engineer at Intel, you will play a pivotal role in the cutting-edge development and validation of... .... Your contributions will directly influence presilicon verification, postsilicon validation, and software development, driving faster...
Suggested
Local area
Immediate start
Shift work
Intel Corporation
Winnipeg, MB
4 hours ago
Ai Soc Verification Engineering Manager
Shape verification strategy for Tenstorrent’s next-generation AI SoCs from hybrid Toronto, Ontario, with system-level leadership and semiconductor expertise. Lead... ....This Verification Lead role guides Verification Engineers while aligning hardware, software, and network behavior...
Suggested
Tenstorrent
Winnipeg, MB
1 hour ago
Intermediate Software Engineer (Agentic Ai Verification)
...in the dynamic realm of digital identity verification. As the global front-runner in our industry... ...SummaryReporting to the Senior Director, Engineering, the Intermediate Software Engineer will... ...building and hardening Trulioo's Agentic AI Verification capabilities, taking agent-...
Suggested
Permanent employment
Full time
Work at office
Local area
Worldwide
Flexible hours
3 days per week
Trulioo
Winnipeg, MB
1 hour ago
Ip Verification Engineer
$99.9k - $135.1k per year
...seeking creative and enthusiastic Design Verification Engineers to join our team. We have exciting... ...strategies including, SystemVerilog UVM, C, Formal, and Hardware/Firmware co-verification.... ...10x mindset shapes life at Arm: Use of AI in Your ApplicationAt Arm, we embrace the...
Work at office
Local area
ARM
Winnipeg, MB
1 hour ago
Senior Asic Verification Engineer — Ai/Dsp Npu
Qualcomm Canada ULC is seeking ASIC Design Verification Engineers to join a compact, expert team focused on Snapdragon DSP processors. You will verify complex IP blocks, write tests in SystemVerilog, and contribute to testbench architecture while collaborating closely with design...
Qualcomm
Winnipeg, MB
1 hour ago
Staff Asic Verification Engineer, Low Power Ai
$129.6k - $179.6k per year
Company Qualcomm Canada ULCJob Area Engineering Group, Engineering Group ASICS... ...been done.Shape the future of low power AI subsystems.Push the boundaries on features... ...related field and 4+ years of ASIC design, verification, validation, integration, or related work...
Work from home
Qualcomm
Winnipeg, MB
1 hour ago
Systems Engineer - Behavior Verification
$160k - $204k per year
...Our partner is looking for a Systems Engineer - Behavior Verification based in Canada. Join an innovative... ...environment at the forefront of Physical AI, where advanced engineering and safety... ...criteria, performance targets, and formally agreed verification standards. Investigate...
Full time
Work at office
Work from home
Flexible hours
Jobgether
Winnipeg, MB
1 hour ago
Staff Asic Verification Engineer
Lead ASIC verification at Qualcomm Canada ULC using SystemVerilog, UVM, and AI-enabled tools to accelerate high-performance product... ...designs.As a Staff ASIC Verification Engineer, you will own end-to-end... ...includes Ethernet and PCIe protocols, formal verification, power-aware...
QUALCOMM, Inc.
Winnipeg, MB
1 hour ago
Digital Design Verification Engineer
...high-performance computing, cloud, and AI. Whether you’re designing next-gen processors... ...team is seeking a skilled and motivated verification engineer to join our team and to contribute to... ...to RTL design, software development, formal verification, or other related domains....
Internship
AMD
Winnipeg, MB
1 hour ago
Verification Engineer (Engineer-senior Level)
$108k - $158k per year
...Qualcomm Canada ULCJob Area: Engineering Group, Engineering Group... ...and 2+ years of ASIC design, verification, validation, integration, or related... ...fabric that connects modern AI data centers.We take pride in... ...standards is desirableExposure to formal verification, gate level...
Remplacement
Work from home
Qualcomm
Winnipeg, MB
1 hour ago
Cpu Architecture Verification Engineer
...generation compute workloads. We are seeking Verification Engineers at multiple levels — from Senior... ...‑driven closure. Assertions and formal verification. Emulation/FPGA and silicon... ...We may use artificial intelligence (AI) tools to support parts of the hiring process...
NUVACORE
Winnipeg, MB
1 hour ago
Staff Pcie Verification Engineer
$159.4k - $215.6k per year
Arm’s Solutions Engineering team is looking for experienced PCIe and CXL... ...other Architects, RTL design and verification engineers spread across UK, US... ...sign-off. Knowledge on formal methodology. Nice To Have Skills... ...language Innovation with AI tools like Codex. In Return...
Arm
Winnipeg, MB
1 hour ago
Ai Hardware Verification Lead
Tenstorrent is seeking a Verification Lead for its next-generation AI hardware in Toronto. You will guide a top-tier team of Verification Engineers, shaping test strategies for AI core validation, including mixed-precision data types and on‑chip NoC validation. This hybrid role...
Tenstorrent University Jobs
Winnipeg, MB
1 hour ago
Fpga Verification Engineer
$140k - $160k per year
FPGA Verification EngineerAversan Inc. ( is a trusted multi-service engineering and electronics manufacturing company. Aversan delivers leading-edge and reliable safety-critical... ...: This posting is for an existing vacancy. AI in Hiring: We use AI tools to assist with...
Full time
Work at office
Remote work
Aversan
Winnipeg, MB
1 hour ago
Lean 4 Proof Engineer - Mathematical Formalization
Lean 4 Proof Engineer - Mathematical Formalization What if your mathematical expertise could directly shape how AI understands and reasons about formal proof? We're looking for skilled... ...who care deeply about formal verification and want their work to matter at the cutting...
Hourly pay
Ongoing contract
Contract work
Remote work
Flexible hours
Alignerr
Winnipeg, MB
1 hour ago
Senior Serdes Verification Engineer
...SERDES at Synopsys from Markham or Mississauga.As a senior ASIC verification engineer, you will help deliver mixed-signal designs through test... ...understanding of digital circuit designSystemVerilog Assertions or formal verification knowledge is desiredUse SERDES verification,...
Synopsys
Winnipeg, MB
1 hour ago
Lead Digital Verification Engineer
$89.6k - $166.4k per year
...technology.This role is for an existing vacancy. Job Title: Lead Verification Engineer Location: Montreal, Ottawa, Toronto Overview This is... ...: PCIe, USB, SATA, Ethernet, Display Port, HDMIExposure to Formal Verification TechnologiesExposure to Mixed Signal Design...
Long term contract
Full time
Temporary work
Work at office
Worldwide
Cadence Design Systems, Inc.
Winnipeg, MB
1 hour ago
Intermediate AI Engineer
...invited to be a part of that. • Our convenient Price Café offers free Tea and Coffee. Position Summary Join our AI team as an Intermediate AI Engineer, where you'll build and deploy AI applications, agents, and automation solutions that solve real business problems....
Price Industries Limited
Winnipeg, MB
1 day ago
Design Verification Lead, Ai Hardware
$100k per year
...is leading the industry on cutting-edge AI technology, revolutionizing performance expectations... ...of all seniorities. We are seeking a Verification Lead for our next-generation AI hardware.... ...ll guide a top-tier team of Verification Engineers, shaping test strategies to validate...
Permanent employment
Tenstorrent University Jobs
Winnipeg, MB
1 hour ago
Senior Asic Verification Engineer At Nvidia
Drive innovation at NVIDIA as a Senior ASIC Verification Engineer, focusing on cutting-edge AI designs using formal verification. Collaborate closely to ensure accuracy and enhance verification methodologies. In this senior role, you will verify sophisticated ASIC designs...
NVIDIA Corporation
Winnipeg, MB
4 hours ago
Design Verification Engineer
Hiring IT professional in all over USA and CanadaKey Responsibilities: Verification of display IP used in graphics card IP/SS and end to end testing for these blocks. Exp in DV flow including SV, UVM Seniority levelMid‑Senior level Employment typeTemporary...
KTek Resourcing
Winnipeg, MB
1 hour ago
Serdes Digital Design Verification Engineer
High speed SerDes verification needs SystemVerilog and UVM expertise at Qualcomm... ...validate connectivity for modern AI data centers.This Senior Verification Engineer supports the HSI Digital Design Verification... ...experience preferredExposure to formal, gate level, and UPF...
Qualcomm
Winnipeg, MB
1 hour ago
Design Verification Engineer
Are you passionate about cutting-edge semiconductor and high-speed interface technologies? We are looking for a Design Verification (DV) Engineer with strong expertise in SystemVerilog (SV), UVM, and PCIe verification to join a dynamic engineering team. Key Responsibilities...
HCLTech
Winnipeg, MB
1 hour ago
Ams Design Verification Engineer
We Are Synopsys is the leader in engineering solutions from silicon to systems, enabling customers to rapidly innovate AI-powered products. We deliver industry-leading silicon... ...that the real challenge in mixed-signal verification is not running simulations, it is building...
Synopsys, Inc.
Winnipeg, MB
1 hour ago
Senior Asic Verification Engineer
...specializing in ASIC and FPGA design and verification, and embedded software development services... ..., including a Senior ASIC Verification Engineer. About the PositionIn this role you will... ...large and very complex networking or GPU/AI SoCs in advanced technology nodes down to...
BTA Design Services Inc.
Winnipeg, MB
1 hour ago
Design Verification Engineer At Qualcomm
Advance your engineering career as a Design Verification Engineer with Qualcomm in Canada. This role focuses on ASIC design verification, pre-silicon test planning, and enhancing verification automation. Qualcomm Canada ULC seeks a talented Design Verification Engineer to...
Qualcomm
Winnipeg, MB
1 hour ago
Senior AI Engineer in Mississauga
...Drive AI innovation as a Senior AI Engineer in Mississauga, Canada. Craft Python-based AI applications using FastAPI or Flask while optimizing performance and scalability for enterprise solutions. We are seeking an experienced Senior AI Engineer with over 8 years in software...
Talentola
Winnipeg, MB
1 day ago
Senior Rail Verification Validation Engineer
Use senior rail engineering expertise to guide verification and validation for SYSTRA Canada transit projects in Ontario. The work model is hybrid.This V&V... ...rail or transit systems, commissioning, and assurance. Formal CENELEC training is an asset, alongside professional engineering...
SYSTRA Canada Inc.
Winnipeg, MB
1 hour ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Formal Verification Engineer In Ai Sector. Be the first to apply!