Water resource engineer - in - training supporting flood, river, stormwater, and watercourse projects at Onterris. Assisting modelling, design, field investigations, and regulatory work.
About the role
- Senior Formal Verification Engineer verifying AI-related sophisticated ASIC designs at NVIDIA. Collaborating with teams to ensure correctness and developing advanced formal verification methodologies.
Responsibilities
- Verify AI-related sophisticated ASIC designs & features with formal verification methods.
- Partner with architecture/RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions.
- Leverage and unleash the power of formal verification to rigorously verify critical design properties and ensure compliance with specifications, as well as minimize spec ambiguities.
- Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency.
- Train and coach junior engineers on formal techniques and standard processes; Help on methodology/FAQ documentation.
Requirements
- BS/MS/PhD or equivalent experience in CS/CE/EE
- 12+ years in ASIC verification with 8+ years focused on formal verification methods
- Mastery of SystemVerilog Assertions (SVA) and formal property verification
- Proficient on at least one popular formal verification tool in the industry (JapserGold, VC Formal, etc.)
- Good scripting skills for flow automation (tcl, python, etc.)
Benefits
- Competitive salaries
- Comprehensive benefits package
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Report this job
Found something wrong with the page? Please let us know by submitting a report below.
Senior Process Engineer delivering mineral - processing design and improvements for Sedgman’s global resources business. Supporting mining projects from feasibility through detailed engineering in Montreal’s hybrid office.
Lead threat intelligence for Clio’s legal AI platform, tracking adversaries, fraud, and abuse. Building intelligence capabilities that protect law firms and Clio Payments.
Body Controls Engineer developing embedded software for access, safety, and vehicle - management functions. Rivian - Volkswagen Technologies builds software - defined electric - vehicle platforms.
Quantum Engineer improving T - centre qubit quality and scalability at Photonic, a quantum computing company. Collaborating across nanofabrication, hardware, software, and modelling teams.
Co - op ASIC Digital Verification Engineer contributing to verification of SiTime’s mixed - signal PLL integrated circuits. Learning testbench and test - case development within the ASIC verification team.
Co - op engineer validating SiTime’s MEMS timing ASIC devices through PCB debugging, lab characterization, and Python test automation. Supporting pre - silicon drivers and production - readiness verification.
Traffic signal and roadway lighting engineer designing transportation infrastructure for Arcadis. Preparing compliant drawings, specifications, photometrics, reports and field deliverables.
Staff Forward Deployed Engineer building AI - powered client integrations for OpenLoop’s telehealth infrastructure. Creating reusable SDKs, agents, API tooling, and deployment practices across U.S. virtual care.
Principal Geotechnical Engineer leading geotechnical infrastructure projects for AtkinsRéalis, an engineering and nuclear services organization. Mentoring teams and expanding transportation, tunnel, rail, and municipal geotechnics capability.