Junior Engineer supporting mining project studies and site planning at Norda Stelo. Contributing to environmental safety and technical design under senior engineers' guidance.
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.
Project Engineer providing engineering consultancy and project oversight in the electric utility sector. Leading project teams and ensuring compliant designs with local standards.
LP
Design Verification Engineer (SystemVerilog & UVM)
LinkedIn Recruiter Post
Design Verification Engineer with 7 - 13 years experience in SystemVerilog & UVM for verifying display IPs in graphics cards. Onsite role in Markham, ON.
OpenStack Engineer for VEXXHOST designing and supporting large scale IT environments. Collaborating with clients and teams to ensure performance and reliability in OpenStack deployments.
OpenStack Engineer at VEXXHOST, responsible for designing and deploying large - scale cloud environments. Collaborating with clients and internal teams to ensure reliable cloud service delivery.
Forensic Fire Engineer providing in - house consulting services for electrical fire origin and cause investigations. Collaborating with claims professionals to enhance risk evaluation and prevention strategies.
Transportation Design Engineer in Arcadis focused on transportation design, delivering sustainable solutions. Join a collaborative team in Ottawa shaping impactful infrastructure projects.
Documentation Engineer focused on improving documentation site and APIs for Supabase. Engaging with community and contributors for better user experience.
Chief Engineer responsible for maintaining vessel equipment and ensuring crew safety. Collaborates with management to operate in compliance with all regulations and standards.
Senior Environmental Engineer or Scientist managing contaminated sites with a focus on project management and mentoring. Join AtkinsRéalis' expert team in British Columbia's diverse sectors.