Environmental Engineer/Geoscientist at a forensic engineering firm in Halifax. Responsible for overseeing environmental investigations and liaising with clients.
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 Project Engineer overseeing capital project execution for Agropur in Bedford, Nova Scotia. Leading multidisciplinary teams and ensuring alignment with business objectives in a fast - paced environment.
Lead Verification Engineer developing high - performance physical IP at Cadence. Responsible for digital RTL verification and developing re - usable verification components and environments.
Ingénieur(e) en mécanique du bâtiment concevant des systèmes (plomberie, chauffage, ventilation). Coordination des projets dans le cadre du développement des trains à grande vitesse au Canada.
Senior Digital Verification Engineer at Ciena focusing on implementing innovative strategies for validating Forward Error Correction IP subsystems. Collaborating with design engineers to ensure functional integrity.
Lead Release Train Engineer managing Agile delivery systems for financial services. Fostering collaboration, continuous improvement, and alignment between strategy and execution.
Data Engineer managing data ingestion, modeling, and reporting using Microsoft Fabric at BDO. Collaborating with stakeholders and maintaining pipelines, reports, and documentation.
Project Engineer coordinating project activities and engineering deliverables for mining projects at Sedgman, based in Vancouver. Involves diverse projects from feasibility studies to construction.
Engineer architecting and building AI - powered products at an AI - first company. Join a dynamic startup with a mission to empower everyone in drafting legal documents using AI.
Project Engineer coordinating engineering deliverables for mining projects at Stantec. Lead technical execution and client interface for successful project outcomes in Canada.