CPI in civil project integrating public utility networks for energy department at EXP. Involves design and collaboration on multi - disciplinary projects.
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.
LP
Guidewire Quality Engineer
LinkedIn Recruiter Post
Contract Guidewire Quality Engineer role in Toronto requiring Guidewire Billing Center, Core Java, and Selenium experience. Connect via LinkedIn or email to apply.
Junior Transportation Engineer supporting transportation planning and traffic operations at EXP. Recent graduates encouraged to apply for this full - time opportunity in Canada.
Join EXP as an Engineer in monitoring transport infrastructure works. Working in Gatineau, Joliette or Saint - Jérôme to contribute to construction projects in the region.
Senior Process Engineer managing water and wastewater projects in Ottawa, Ontario. Involved in design, project management, and client coordination.
Project Engineer responsible for full project lifecycle management in industrial water treatment and ensuring timely and budget - compliant project delivery. Collaborating with internal teams and clients on technical specifications and coordination.
LP
MongoDB Engineer
LinkedIn Recruiter Post
MongoDB Engineer designing and implementing advanced database standards for financial client. Contract role with potential extension, focusing on scalable, secure MongoDB environments.
Escalation Engineer for Illumio, maintaining technology deployments for industry - leading customers. Collaborating with various teams to analyze and resolve technical issues.
Mine Engineer at Nutrien managing ventilation and safety projects in mining. Overseeing ground assessment, design, and research for efficient underground operations.
Lead Project Engineer focusing on I&C technology development at GE Vernova, coordinating engineering interfaces and managing technical project issues with cross - functional teams.