Formal Verification Engineer at NVIDIA verifying GPU micro-architecture and implementing formal verification techniques. Collaborating with multi-functional teams to ensure high-quality outcomes on project cycles.
Responsibilities
Verify the build and implementation of the industry's leading GPUs
Verify the micro-architecture using formal verification tools
Define the verification scope and ensure correctness
Employ sophisticated formal techniques to acquire proofs
Work with architects, designers, and verification teams
Complete formal verification effort for the project cycle
Requirements
BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 6+ years of experience
Understanding of GPU/CPU architectures and engineering work flows
Experience with Verilog / System Verilog HDLs
Experience with formal tools and knowledge of formal verification methodologies
Strong analytical skills to tackle sophisticated problems
Excellent command of scripting using TCL, Perl, and/or Python
Excellent written and verbal communication
Able to optimally collaborate and work in a distributed team
Process Engineer at Vaisala's Instrument Factory in Finland, focusing on Lean manufacturing and continuous improvement in a high - tech production environment.
Associate Process Engineer leading process design for refinery and chemical facilities. Engaging in equipment analysis, design, and providing technical support for field execution.
Process Engineer leading process design efforts for refinery and chemical applications. Conducting technical evaluations, calculations, and providing technical support in a team setting.
Senior Manager leading initiatives in product quality & reliability for semiconductor equipment and components at Applied Materials. Responsible for developing methodologies and managing a team of engineers in Taiwan.
Project Engineer focusing on site design, CAD drafting, and energy forecasting for renewable energy projects. Collaborating closely with the engineering team to ensure optimized designs and compliance.
Senior Front - End Engineer responsible for scaling the front - end layer of a B2B SaaS platform used for live rail assistance. Collaborating with cross - functional teams to enhance usability and stability.
Building Science Engineer at Stantec supporting building envelope design and consulting for various projects. Collaborating with senior leaders on technical expertise and managing project responsibilities.
Intermediate Geotechnical Engineer at Stantec, leveraging innovation and technical expertise in Edmonton. Collaborating with clients and managing diverse geotechnical projects with a motivated team.