Intermediate Municipal Engineer managing civil engineering projects at GEMTEC. Collaborating with teams and ensuring project delivery within budget and scope.
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.
Control Plane Engineer at Supabase designing and maintaining APIs for backend solutions. Collaborating with teams for smooth integration and enhancing public API experience.
Transportation Engineer at Arcadis supporting planning, design, and delivery of highway and utility infrastructure projects. Collaborating with a multidisciplinary team for impactful project outcomes.
LP
Senior Java Engineer / Technical Lead
LinkedIn Recruiter Post
Senior Java Engineer / Technical Lead needed for hybrid role in Toronto. Build high - performance distributed systems with Java 17+, Spring Boot, and cloud technologies.
LP
Java Engineer
LinkedIn Recruiter Post
Citi Bank seeks a Java Engineer in Mississauga, ON. Requires 7+ years experience in Java, API, Cloud Engineering, and React.
LP
SRE Engineer
LinkedIn Recruiter Post
Hiring SRE Engineer in Canada. Full - time salary CAD $110,000/year or contract $55 - 65/hour C2C. Requires 10+ years experience.
LP
Senior Quality Assurance Engineer (SFMC & Azure Data Platforms)
LinkedIn Recruiter Post
Senior QA Engineer needed for enterprise platform with Salesforce Marketing Cloud and Azure Data Services. Hybrid in Markham (Toronto).
Business Value Engineer quantifying CoLab's value and converting customer insights into business cases. Working closely with account teams to present financial arguments and drive enterprise decisions.
Intermediate Engineer in building electricity within Energy sector at EXP. Collaborate on multidisciplinary projects in energy production and distribution.
Ingénieur(e) en géotechnique pour soutenir les équipes de Montréal et de Laval. Planifie, supervise et rapporte sur des projets géotechniques variés.