Transmission Engineer planning, designing, and analyzing high - voltage electric transmission systems. Collaborating with teams to deliver safe and reliable transmission solutions in compliance with standards.
About the role
- 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
Benefits
- Health insurance
- Retirement plans
- Paid time off
- Flexible work arrangements
- Professional development
- Bonuses
- Stock options
Job title
Job type
Experience level
Salary
Degree requirement
Tech skills
Location requirements
Installation & Commissioning Engineer working on smart metering systems for modern heat networks. Focus on installation, troubleshooting, and client training in a field - based role.
Data & Investigation Engineer joining LTS in Israel to support investigations and streamline workflows. Focusing on data analysis and engineering principles for failure resolution.
Engineer for street planning and development in a hybrid role with a leading German engineering firm. Responsible for project planning and teamwork in interdisciplinary settings.
Engineer responsible for planning electrical and automation systems in water supply and wastewater technology. Leading projects and collaborating in interdisciplinary teams in Germany.
Autonomy Engineer designing motion planning and control systems for intelligent vehicles at Tycho.AI. Collaborating with experts to innovate in AI and robotics.
Designing and validating state estimation systems for intelligent autonomous vehicles at Tycho.AI. Collaborating with experts across disciplines and developing cutting - edge technology.
Autonomy Engineer at Tycho.AI designing and validating perception systems for autonomous vehicles. Collaborating with a cross - functional team on innovative AI/ML and robotics solutions.
Embedded Avionics Engineer working with flight electronics and software for space manufacturing. Collaborating on avionics architecture and ensuring compliance with European space standards.
Lead Engineer leading the re - architecture of the payments service at Incard. Incharge of building robust and scalable infrastructure for processing billions in transactions.