Senior/Principal Formal Verification Engineer
Careers
Nuvacore is building a ground-up high performance, low-power CPU for next-generation compute workloads. We are seeking Formal Verification Engineers at multiple levels—from Senior Engineer to Principal—to prove the CPU correct with formal methods.
As part of the design verification team, you will turn micro-architecture specifications into properties, build environments, and use model checking to hunt bugs before silicon, collaborating with the design team.
#J-18808-LjbffrVacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Senior/Principal Formal Verification Engineer in Markham, ON vacancy
- ...building a ground-up high performance, low-power CPU for next-generation compute workloads. We are seeking Formal Verification Engineers at multiple levels --- from Senior Engineer to Principal level --- to help prove the Nuvacore CPU correct with formal methods. As part of...SeniorFull time
- Join Nuvacore as a Senior CPU Verification Engineer focused on next-generation CPU architecture. Drive verification strategies, environment setups, and... ..., Computer Science, or equivalent • 15+ years for Principal or 4+ years for Senior roles • Strong knowledge in CPU architecture...Senior
$108k - $158k per year
...Company: Qualcomm Canada ULC Job Area: Engineering Group, Engineering Group ASICS Engineering General Summary: Are you... ...that improve people’s everyday life? We are searching an ASIC verification engineer interested in developing world-class multimedia and compute...SeniorRemplacementWork from home- ...ground‑up high performance, low‑power CPU for next‑generation compute workloads. We are seeking Verification Engineers at multiple levels — from Senior Engineer to Principal level — to help prove that the Nuvacore CPU is architecturally correct. As part of the design verification...Senior
- Join Qualcomm as a Senior ASIC Design Verification Engineer focused on Compute DSP/AI Processors. Leverage your skills in UVM methodology and SystemVerilog to innovate in AI processing technology. As part of the Engineering Group at Qualcomm Canada ULC, you will work with a...Senior
- ...seeking an experienced Silicon Design Verification Engineer to take a significant role across multiple... ...of adding custom hardware offload engines to support complex operations like encryption... ...methodologies such as UVM, formal verification, and AI-assisted verification...Internship
- ...The IOHUB team at AMD is seeking a Principal ASIC Design Engineer to provide technical leadership for the... ..., client, and embedded markets. As a senior member of the team, you will help define... ...with architecture, design, verification, firmware, implementation, and product...PrincipalSeniorLong term contractInternship
$108k - $158k per year
...Company Qualcomm Canada ULC Job Area Engineering Group, Engineering Group ASICS... ...The team is responsible for the complete verification lifecycle, from system-level concept to... ...development, assertion model development and formal verification (property checking). Learn...Work from home- ...Person The successful candidate will work closely with senior silicon design engineers. The candidate will be highly accurate and detail-... ...through completion Key Responsibilities Define the IOHUB verification strategy and scope. Develop the IOHUB test plan, implement...SeniorInternship
$129.6k - $179.6k per year
...Company: Qualcomm Canada ULC Job Area: Engineering Group, Engineering Group ASICS Engineering General Summary: Are you... ...? Qualcomm AI HW team is looking for a strong ASIC design verification engineer. Join our effort in developing world class ML HW solutions...Full timeWork from home- Elevate your engineering career as a Design Verification Engineer with Qualcomm in Canada, specializing in memory subsystem verification. Drive comprehensive strategies for complex digital designs, including memory controllers and custom interfaces. This position demands expertise...
$132.6k - $182.6k per year
...Area:\n\nEngineering Group, Engineering Group \u003e GPU ASICS Engineering... ..., designs, implements, verifies, and optimizes performance and... ...of GPU cores. Responsible for verification of Graphics IP , and performing... ...Toolchain, Visual Studio\n * Formal verification - FPV and DPV...Full timeWork from home- Elevate your engineering career as a Principal ASIC Design Engineer at AMD in Markham, Ontario. Lead the development... ...and performance optimization. As a senior member of the IOHUB team, you'll... ...• Strong knowledge of design verification and timing closure • Proficiency in...PrincipalSenior
$140k - $180k per year
...team of over 50,000 planners, designers, engineers, scientists, digital innovators, program... ...Description AECOM is seeking a highly skilled Principal Engineer specializing in large rock... ...office. This role is intended for a senior technical specialist with extensive experience...PrincipalSeniorPermanent employmentWork at officeLocal areaWorldwideFlexible hours$104.9k - $154.9k per year
...Company: Qualcomm Canada ULC Job Area: Engineering Group, Engineering Group ASICS Engineering General Summary: What we... ...Science, Engineering, or related field and 2+ years of ASIC design, verification, validation, integration, or related work experience. OR...SeniorWork from home$129.6k - $179.6k per year
...Company: Qualcomm Canada ULC Job Area: Engineering Group, Engineering Group ASICS Engineering General Summary: What we... ...Science, Engineering, or related field and 4+ years of ASIC design, verification, validation, integration, or related work experience. OR...Full timeWork from home- ...optimizing high-speed analog circuits Proposing and executing verification strategies Collaborating with layout and digital teams... ...simulation results to peers and customers Mentoring junior engineers and documenting designs What You’ll Need: ~8+ years’ CMOS...Principal
$186k - $236k per year
...per week, at minimum.The Role:General Motors is seeking a highly skilled and experienced professional to join our team as the Staff Engineer of Software Engineering, Embedded Platform. As a Continuous Integration Developer (Architect Level), you will define the architecture...PrincipalWork at office- ...Job Title : Principal Software Engineer Location : Miami, Florida or Ontario, Canada Function : AI Engineering for Clinical Trial Management... ...Technical Leadership & Influence Serve as a senior technical leader and advisor across the organization, influencing...PrincipalSeniorLong term contractFull time
- ...Job description Huawei Canada has an immediate permanent opening for a Principal Software Engineer. About the team: Established in 2014, the Distributed Scheduling and Data Engine Lab is Huawei Cloud's technical innovation center in Canada. The lab focuses on researching...PrincipalSeniorPermanent employmentFull timeImmediate startOverseas
$129.6k - $179.6k per year
...Company Qualcomm Canada ULC Job Area Engineering Group, Engineering Group ASICS... ...ASIC IP team of architects, design, and verification engineers. We create HW IP in the heart... ...whether in work, co-op, or coursework Senior Or Above ~2+ years of direct experience...SeniorWork from home- ...AECOM in Markham, ON. This role focuses on large rock caverns and pressurized water conveyance systems for major projects. As a Principal Engineer, you will bring extensive experience in analyzing and designing complex underground structures. Your expertise in rock mechanics...Principal
- Drive innovation as a Principal Software Engineer with General Motors in a hybrid role. Focus on modernizing embedded software test systems to enhance engineering effectiveness and product quality. This key position requires a hands-on technical leader to shape and scale engineering...Principal
$108k - $158k per year
...Company Qualcomm Canada ULC Job Area Engineering Group, Engineering Group ASICS... ...seeking a motivated and experienced Design Verification Engineer to join its memory subsystem verification... ...maintain reusable SystemVerilog/UVM and formal verification environments. Develop...RemplacementWork from home- ## Principal Software Engineering - Build System ModernizationApply: Remote/Hybrid: Markham, Ontario, Canada: Full time: Posted Today: JR-202621737**Job Description****Vacancy Status:**This posting is not for an existing vacancy within the organization and is open to new applications...PrincipalFull timeWork at officeRemote work
- ...is expected to report to Markham or Oshawa office three times per week, at minimum.The RoleGeneral Motors is seeking a Principal/Staff Software Engineer to shape and scale the engineering platforms that build, test, integrate, validate, and deliver embedded software for software...PrincipalFull timeWork at officeImmediate start
- ...Qualcomm is seeking a Sr Staff/Principal DevOps Engineer to join the Machine Learning Infrastructure and Performance team in Markham, Ontario. You will maintain on-site servers and devices, improve CI/CD pipelines and model tooling, and plan scalable infrastructure for large...Principal
$186k - $236k per year
## Principal Systems ArchitectApply: Hybrid: Markham, Ontario, Canada... ...readiness. Working with senior leadership, product managers,... ...technical leader for the systems engineering work that follows from the architecture... ..., interfaces, and verification strategy.* Experience resolving...PrincipalSeniorLong term contractFull timeTemporary work- ...Huawei Canada has an immediate permanent opening for a Principal Engineer. About the team: The Distributed Data Storage and Management Lab... ...About the job: Architecting and develop frameworks and engines for next-generation serverless computing tailored to AI workloads...PrincipalLong term contractPermanent employmentFull timeInternshipImmediate start
- ...Job description Huawei Canada has an immediate permanent opening for a Principal Engineer. About the team: Established in 2014, the Distributed Scheduling and Data Engine Lab is Huawei Cloud's technical innovation center in Canada. The lab focuses on researching...PrincipalPermanent employmentFull timeImmediate start
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior/Principal Formal Verification Engineer. Be the first to apply!
Related searches
- chief engineer Markham, ON
- mechanical engineering project manager Markham, ON
- mechanical engineering director Markham, ON
- general engineer Markham, ON
- engineering project manager Markham, ON
- chief power engineer Markham, ON
- director software engineering Markham, ON
- project engineer assistant project manager Markham, ON
- validation specialist Markham, ON
- computer system validation engineer Markham, ON