Formal Verification Engineer

1 week ago


Oklahoma City, United States CareerBuilder 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 worlds 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



  • 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...

  • Staff Digital Design CPU Verification Engineer

    Found in: beBee jobs US - 1 week ago


    Panama City, Florida, United States Fabric Cryptography Full time

    Fabric believes hardware determines the boundaries of humanity's collective creativity and imagination. We are building hardware for the next generation of cryptography because we believe in creating a more trustworthy world with secure, private computation at its core. Just as encryption and decryption enabled the Internet as we know it, this new paradigm...

  • ASIC Verification Engineer

    Found in: beBee jobs US - 2 weeks ago


    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...


  • Bay City, United States The Chemical Engineer Full time

    Basic Function LyondellBasell is searching for a Control Systems Engineer for the Matagorda High Density Polyethylene Facility, located in Matagorda TX.This position has the responsibility for supporting and improving the Plant DCS, basic regulatory control configuration, and applications and Safety Instrumented Systems, as well as identifying and...


  • West Valley 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...


  • Oklahoma City, United States Priority One Search Full time

    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 developing a new class of unmanned aircraft,...


  • Oklahoma City, United States Cameron Craig Group Full time

    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 developing a new class of unmanned aircraft,...


  • Oklahoma City, United States Bridgeway Professionals Inc Full time

    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 developing a new class of unmanned aircraft,...


  • Oklahoma City, United States CareerBuilder Full time

    Associate Systems Engineer, V&V (Hybrid) page is loaded Associate Systems Engineer, V&V (Hybrid) Apply locations Aviacon, Tijuana time type Full time posted on Posted 6 Days Ago job requisition id REQ-2024-6035 Insulet started in 2000 with an idea and a mission to enable our customers to enjoy simplicity, freedom and healthier lives through the use of our...


  • Oklahoma City, United States Analog Group Inc Full time

    Qualified candidate will be part of the embedded firmware development team. With responsibility to define and implement verification test benches and test cases for state of the art controllers used in advanced power conversion and power monitor Application Specific Integrated Circuits (ASICs). Define and maintain infrastructure for firmware verification...


  • Oklahoma City, United States CareerBuilder Full time

    Senior ASIC Front End Infrastructure Engineer page is loaded Senior ASIC Front End Infrastructure Engineer Apply locations US, CA, Santa Clara US, TX, Austin US, NC, Durham time type Full time posted on Posted 5 Days Ago job requisition id JR1965423 NVIDIA is seeking elite ASIC RTL/Verification ASIC engineers to develop the core Verification and RTL...


  • Salt Lake City, United States Harris Geospatial Solutions Full time

    Job Title: Specialist, Systems Engineer Job Code: 10682 Job Location: Salt Lake City, UT Job Schedule: 9/80, every other Friday off Job Description: L3Harris’ Communication Systems segment is currently seeking a Specialist Systems Engineer to join our team. This position will be based at our Salt Lake City facility. Position Overview: This person will be...


  • Oklahoma City, United States CareerBuilder Full time

    Introduction We are supporting a global opto-mechanical based device manufacturer as they expand their medical device team. We are seeking a Senior Compliance Engineer with strong international standards familiarity. This role will offer you Opportunity to work on cutting-edge, class II technology with a frontrunning player in the industry. Competitive...

  • Equipment Engineer

    1 week ago


    Oklahoma City, United States CareerBuilder Full time

    Job Responsibilities: Evaluates, selects, and orders equipment that is most appropriate and cost effective for the manufacture of company products. Oversees the installation, modification, upgrade, and maintenance of manufacturing equipment. Maintains current records on equipment manufacturers' technical notices, upgrades, and safety issues. Studies...


  • Salt Lake City, United States L3Harris Technologies Full time

    Job Title: Senior Specialist, Systems Engineer Job Code: 578 Job Location: Salt Lake City, UT Job Schedule: 9/80 Job Description: L3Harris’ Communication Systems segment is currently seeking a Sr Specialist Systems Engineer to join our team. This position will be based at our Salt Lake City facility. Position Overview: This person will be...


  • Oklahoma City, United States Genesis Systems Full time

    IPG Photonics is revolutionizing the laser industry as the pioneering developer and leading producer of fiber lasers and amplifiers. Headquartered in Marlborough, MA, IPG has over 6,500 employees in more than 30 locations around the world. We aspire to work together with our employees and customers to apply light in ways that improve life. Our mission is to...

  • Lead, Systems Engineer with Security Clearance

    Found in: Dice One Red US C2 - 5 days ago


    Salt Lake City, United States L3Harris Technologies Full time

    Job Title: Lead, Systems Engineer Job Code: 10681 Job Location: Salt Lake City, UT Job Schedule: 9/80, every other Friday off Job Description: L3Harris' Communication Systems segment is currently seeking a Lead Systems Engineer to join our team. This position will be based at our Salt Lake City facility. Position Overview: This person will be responsible for...

  • Specialist Systems Engineer with Security Clearance

    Found in: Dice One Red US C2 - 5 days ago


    Salt Lake City, United States L3Harris Technologies Full time

    Job Title: Specialist, Systems Engineer Job Code: 10682 Job Location: Salt Lake City, UT Job Schedule: 9/80, every other Friday off Job Description: L3Harris' Communication Systems segment is currently seeking a Specialist Systems Engineer to join our team. This position will be based at our Salt Lake City facility. Position Overview: This person will be...

  • Scientist, Systems Engineer with Security Clearance

    Found in: Dice One Red US C2 - 1 week ago


    Salt Lake City, United States L3Harris Technologies Full time

    Job Title: Scientist, International Systems EngineeringJob Code: 522Job Location: Salt Lake City-UT Job Schedule: 9/80, day shift, every other Friday off Position Overview: L3Harris - Broadband Communications is seeking a highly experienced and dynamic Scientist of International Systems Engineering to lead our team in designing and implementing cutting-edge...


  • Oklahoma City, United States ClimateMaster Full time

    DescriptionPOSITION SUMMARYThe Manufacturing Engineer oversees the development and implementation of manufacturing processes to maintain proper product functionality as well as cost efficiency. Working in the cross-functional team environment this position collaborates with the other ClimateMaster engineering teams.ESSENTIAL FUNCTIONSReasonable...