Formal Verification Engineer

1 month ago


Oklahoma City, United States NVIDIA Full time

Formal Verification Engineer - New College Grad 2024 page is loaded

Formal Verification Engineer - New College Grad 2024

Apply

locations

US, TX, Austin

US, CA, Santa Clara

time type

Full time

posted on

Posted 4 Days Ago

job requisition id

JR1976788

As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro-architecture using formal verification tools, define the verification scope, and ensure design correctness. You will employ advanced formal techniques to obtain sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks. You will efficiently implement the formal verification effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those results to the team. What you will be doing: 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.

Drive tools to realize their best performance.

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.

What we need to see: 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.

NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us. Are you creative and autonomous? Do you love the challenge of crafting the highest performance & lowest power silicon possible? If so, we want to hear from you. Come, join our GPU Formal Verification team and help build the real-time, efficient computing platform driving our success in this exciting and quickly growing field. The base salary range is 92,000 USD - 172,500 USD. Your base salary will be determined based on your location, experience, and the pay of employees in similar positions.

You will also be eligible for equity and benefits .

NVIDIA accepts applications on an ongoing basis. NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.

Similar Jobs (5)

Formal Verification Engineer

locations

2 Locations

time type

Full time

posted on

Posted Yesterday

ASIC Verification Engineer - New College Grad 2023

locations

US, TX, Austin

time type

Full time

posted on

Posted 30+ Days Ago

ASIC Verification Engineer - New College Grad 2023

locations

US, CA, Santa Clara

time type

Full time

posted on

Posted Yesterday

#J-18808-Ljbffr


  • Verification Engineer

    2 months ago


    Oklahoma City, United States Selby Jennings Full time

    Position Overview: We are looking for a highly skilled FPGA Verification Engineer who will be responsible for verifying the functionality and performance of our FPGA designs. The ideal candidate will have a strong background in digital design, verification methodologies, and FPGA development. Key Responsibilities: Develop and execute comprehensive...


  • Oklahoma City, United States EDA Cafe Full time

    Basic Qualifications Bachelor’s degree in Electrical or Computer Engineering, or a related Science, Engineering or Mathematics field, plus a minimum of 8 years of relevant experience; or Master's degree plus a minimum of 6 years of relevant experience. CLEARANCE REQUIREMENTS: Ability to obtain a Department of Defense Top Secret security clearance is...


  • Oklahoma City, United States Capgemini Full time

    Job Title: Senior Software Engineer - Senior Software Verification/Test Automation Engineer Job location: Andover, Massachusetts (Hybrid - in office Tues, Wed & Thurs) Capgemini is seeking a highly skilled and high-reaching Senior Software Engineer - Senior Software Verification/Test Automation Engineer to join our premier Engineering team. As a Senior...


  • Jersey City, New Jersey, United States QData Full time

    Required Experience & Skills 4+ years' experience required in verification. System Verilog /UVM experience (Mandatory). Good understanding of PCIe and Ethernet is needed. Engineer must have good understanding of complete verification life cycle (test plan test bench till coverage closure). Define SoC verification strategy. Good understanding of SoC life...


  • Jersey City, New Jersey, United States QData Full time

    Required Experience & Skills 4+ years' experience required in verification. System Verilog /UVM experience (Mandatory). Good understanding of PCIe and Ethernet is needed. Engineer must have good understanding of complete verification life cycle (test plan test bench till coverage closure). Define SoC verification strategy. Good understanding of SoC life...


  • Oklahoma City, United States Capgemini Full time

    Job Title: Senior Software Engineer - Senior Software Verification/Test Automation Engineer Job location: Andover, Massachusetts (Hybrid - in office Tues, Wed & Thurs) Capgemini is seeking a highly skilled and high-reaching Senior Software Engineer - Senior Software Verification/Test Automation Engineer to join our premier Engineering team. As a Senior...


  • Arizona City, United States Wisk Aero Full time

    At Wisk, we're transforming the future of urban mobility through safe, all-electric, autonomous flight. We are a passionate team working together toward a sustainable future, solving high-impact problems that have never been solved before. By delivering everyday flight for everyone, we're making it possible to spend less time getting there and more time...


  • Mexico City, United States Cognizant Technology Solutions Full time

    We're hiring! At Cognizant we have an ideal opportunity for you to be part of one of the largest companies in the digital sector worldwide. A Great Place To Work where we look for people who contribute new ideas, experiencing a dynamic and growing environment. At Cognizant we promote an inclusive culture, where we value different perspectives providing...


  • Salt Lake City, United States Ubiquiti Full time

    About Ubiquiti At Ubiquiti Inc., we create technology platforms for Businesses, Smart Homes, and Internet Service Providers, driven by our goal to connect everyone, everywhere. To date, Ubiquiti has shipped over 100 million devices worldwide, from ISP networking products to next generation of IT solutions. Our growth is made possible by the dedicated team of...

  • Software Verification

    3 weeks ago


    Redwood City, United States Intellectt Inc Full time

    Position: Software Verification & Validation EngineerDuration: 6 months (3+3 Months) - Short Term ContractLocation: Redwood City, CA -100% OnsiteIndustry: Medical Device***No C2C***Please do apply if you have Software V&V Experience in a Medical Equipment Manufacturing company with expertise in IEC 62340 & Python codingKey Responsibilities:Perform software...

  • Software Verification

    3 weeks ago


    Redwood City, United States Intellectt Inc Full time

    Position: Software Verification & Validation EngineerDuration: 6 months (3+3 Months) - Short Term ContractLocation: Redwood City, CA -100% OnsiteIndustry: Medical Device***No C2C***Please do apply if you have Software V&V Experience in a Medical Equipment Manufacturing company with expertise in IEC 62340 & Python codingKey Responsibilities:Perform software...


  • Foster City, United States Zoox Full time

    Zoox’s System Design and Mission Assurance (SDMA) team constructs the Safety Case and validates that our vehicles are safe enough to be deployed for autonomous driving. SDMA enables Zoox to rapidly iterate and safely expand capabilities through trustworthy, innovative, and pragmatic safety engineering. As a Platform System Verification and Validation...


  • Oklahoma City, United States Affinity Inc Full time

    Electrical and Propulsion Responsible Engineer Job Description Responsible for the design, development, and integration of the assigned powerplant o Synthesize integration, validation and verification requirements into a requirement specification: § developing operational and performance requirements for motors and motor drivers. § Defining the...


  • Oklahoma City, United States Affinity Full time

    Electrical and Propulsion Responsible Engineer Job Description Responsible for the design, development, and integration of the assigned powerplant o Synthesize integration, validation and verification requirements into a requirement specification: § developing operational and performance requirements for motors and motor drivers. § Defining the...


  • Oklahoma City, United States Gables Search Group Full time

    Electrical and Propulsion Responsible EngineerJob Description • Responsible for the design, development, and integration of the assigned powerplant o Synthesize integration, validation and verification requirements into a requirement specification: § developing operational and performance requirements for motors and motor drivers. § Defining the...


  • Oklahoma City, United States Lincoln Search Consultants Inc Full time

    Electrical and Propulsion Responsible Engineer Job Description • Responsible for the design, development, and integration of the assigned powerplant o Synthesize integration, validation and verification requirements into a requirement specification: § developing operational and performance requirements for motors and motor drivers. § Defining...


  • Oklahoma City, United States Crescent City Recruitment Group Full time

    Electrical and Propulsion Responsible EngineerJob Description • Responsible for the design, development, and integration of the assigned powerplant o Synthesize integration, validation and verification requirements into a requirement specification: § developing operational and performance requirements for motors and motor drivers. § Defining the...


  • Oklahoma City, United States Crescent City Recruitment Group Full time

    System Engineering Developer About Us Our client is a transatlantic cutting-edge aerospace company developing solar powered aircraft solutions capable of achieving perpetual flight with heavy, and powerful payload capacity. Utilizing technology based upon the longest continuous renewably powered flight program in history, this fast-growing startup is...


  • Oklahoma City, United States International Staff Consulting Full time

    System Engineering DeveloperAbout Us Our client is a transatlantic cutting-edge aerospace company developing solar powered aircraft solutions capable of achieving perpetual flight with heavy, and powerful payload capacity. Utilizing technology based upon the longest continuous renewably powered flight program in history, this fast-growing startup is...


  • Oklahoma City, United States International Staff Consulting Full time

    System Engineering DeveloperAbout Us Our client is a transatlantic cutting-edge aerospace company developing solar powered aircraft solutions capable of achieving perpetual flight with heavy, and powerful payload capacity. Utilizing technology based upon the longest continuous renewably powered flight program in history, this fast-growing startup is...