Stationary Chief Engineer responsible for managing plant operations and HVAC maintenance department. Overseeing repairs, training operators, and maintaining equipment inventories.
About the role
- Formal Verification Engineer at NVIDIA responsible for verifying designs and micro-architectures of leading GPUs. Collaborating with diverse teams using advanced formal verification methodologies and tools.
Responsibilities
- Verify the design and implementation of the industry's leading GPUs.
- Verify the micro-architecture using formal verification tools, define the verification scope, and ensure design correctness.
- Employ advanced formal techniques to obtain sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams.
- Efficiently execute the formal verification effort for the entire project cycle, delivering high-quality results on schedule.
- Clearly convey those results to the team.
- Identify key behaviors for verification to write clear testplans for complex designs.
- Execute testplans using the latest formal techniques, including the development of environment assumptions, assertions and cover properties.
- Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage.
- Debug RTL to identify causes of failure scenarios.
- Contribute to flow and script development to improve team efficiency.
- Articulate formal verification coverage of the design to partners.
Requirements
- BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics.
- Solid understanding of GPU/CPU architectures and designs.
- Strong analytical skills to solve complex problems.
- Knowledge of formal verification methodologies and techniques.
- Able to implement abstraction techniques for effective verification.
- Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly.
- Excellent command of scripting using TCL, Perl, and Python.
- Experience with a JasperGold and VC-Formal tools.
- Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.
Benefits
- equity
- benefits
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Industrial Maintenance Engineer in Santo Tirso for a multinational company focusing on industrial maintenance and equipment development. Managing teams and optimizing costs while ensuring equipment efficiency.
Internship in Quality Project Engineering at Liebherr developing IT tools. Collaborating with the IT department for new functionalities.
Controls Engineer developing embedded control systems for electric propulsion technologies at Archer. Collaborating with multidisciplinary teams to enhance safety and efficiency in aviation.
Project Engineer for Döhler overseeing the implementation of automated production lines and process enhancements in the food industry. Collaborating with stakeholders and optimizing project outcomes.
Staff Process Engineer providing technical expertise in drug delivery devices at Johnson & Johnson. Collaborating on the development of manufacturing processes that meet healthcare innovations.
Senior Simulation & Scenario Validation Engineer ensuring Torc's autonomous driving system is tested against valid scenarios. Evaluating simulation effectiveness while collaborating across teams to assess scenario coverage.
Process Engineer at Lear Corporation leading activities in manufacturing processes and optimizing production schedules in the automotive industry. Ensuring quality and efficiency in the Meknes facility.
Methods Engineer designing and launching production lines for Lear Corporation. Following quality control actions and engineering changes in the automotive manufacturing process.
Digital Transformation Engineer leading cross - functional digital initiatives and automation projects. Enhancing efficiency and innovation in food and health solutions at Ajinomoto Health & Nutrition.