Engineer specializing in building automation in hybrid work environment at sic architekten gmbh. Contributing to sustainable and functional building projects in Köln.
About the role
- Formal Verification Engineer crafting and optimising verification flows for CPU/GPU projects at NVIDIA. Collaborating with design teams and ensuring design correctness using advanced formal techniques.
Responsibilities
- The specification, implementation, and maintenance of an integrated end-to-end formal verification flow for the formal verification team.
- Developing scripts to automate the verification process.
- Review formal setups and proofs with design and verification teams.
- Maintain and extend assertion libraries, including support for both simulation and FV.
- Identifying key behaviours for verification of DUT and creating a verification plan.
- Developing verification environment including environment assumptions, assertions and cover properties in context of the verification plan.
- Applying various FV techniques to prove correctness of digital designs.
- Debugging RTL to identify causes of failure scenarios.
Requirements
- Bachelors/Masters in Electronics & Communications or Computer Science or electrical engineering from a reputed engineering college.
- Minimum 3+ years of industry experience on formal techniques for verification.
- Strong analytical skills to tackle hard problems.
- Excellent command of scripting.
- Strong knowledge of architectures of CPU designs and digital logic.
- Good understanding of abstraction techniques for effective verification.
- Hands-on experience with HDLs such as Verilog / System Verilog.
- Understanding of temporal logic assertions.
- Preferable experience with a variety of Formal Verification Tools.
- Strong communication skills are required along with the ability to work in a dynamic product oriented team and collaborate effectively across sites.
Benefits
- Competitive salaries and a generous benefits package
Job title
Job type
Experience level
Salary
Not specified
Degree requirement
Location requirements
EHS and Quality Engineer responsible for compliance with Primetals Quality and EHS programs. Joining a leading partner in engineering and lifecycle services for the metal industry.
Project Engineer managing technically demanding national and international large - scale projects. Involvement from first inquiry to execution with a global presence in construction technology.
Dual Fuel Smart Meter Engineer responsible for installing smart meters in domestic properties at Utilita. Championing customer experience and collaborating with technical support teams.
Dual Fuel Smart Meter Engineer installing smart meters in domestic properties for Utilita. Championing customer first mindset and industry leading Customer Experience while collaborating with internal teams.
Provide customer support through installation and servicing of linear accelerators at Varian. Involves extensive travel and technical support of imaging systems and equipment.
Jr. NPI Engineer supporting product and process implementation at Establishment Labs, a rapidly growing medical device company. Collaborating across departments to ensure high - quality operations compliance.
Engineer I providing technical engineering support for electrical trades at Rosendin. Assisting in design and consultation under supervision while developing engineering skills and competencies.
Supplier Development Engineer at Ensign - Bickford overseeing supplier quality and delivery metrics. Collaborating with teams to enhance manufacturing processes in aerospace and defense sectors.
Ingeniero/a oficina técnica at KONE understanding client needs and providing technical solutions. Managing documentation, validation processes, and ensuring product compliance with security and environmental standards.