Formal Verification Engineer
1 week ago
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
-
Verification Engineer
1 week ago
Oklahoma City, United States Selby Jennings Full timePosition 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 timeFabric 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 timeRequired 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...
-
Control Systems Engineer
6 days ago
Bay City, United States The Chemical Engineer Full timeBasic 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...
-
System Verification Engineer
1 week ago
West Valley City, United States Ubiquiti Full timeAbout 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...
-
System Engineering Developer
1 week ago
Oklahoma City, United States Priority One Search Full timeOur 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,...
-
System Engineering Developer
1 week ago
Oklahoma City, United States Cameron Craig Group Full timeOur 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,...
-
System Engineering Developer
1 week ago
Oklahoma City, United States Bridgeway Professionals Inc Full timeOur 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,...
-
Associate Systems Engineer, V&V
4 days ago
Oklahoma City, United States CareerBuilder Full timeAssociate 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...
-
Associate Firmware Engineer
1 week ago
Oklahoma City, United States Analog Group Inc Full timeQualified 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 timeSenior 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...
-
Specialist Systems Engineer
18 hours ago
Salt Lake City, United States Harris Geospatial Solutions Full timeJob 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...
-
Senior Compliance Engineer
1 week ago
Oklahoma City, United States CareerBuilder Full timeIntroduction 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 timeJob 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...
-
Senior Specialist, Systems Engineer
4 days ago
Salt Lake City, United States L3Harris Technologies Full timeJob 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...
-
Senior Power Electronics Engineer
3 days ago
Oklahoma City, United States Genesis Systems Full timeIPG 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 timeJob 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 timeJob 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 timeJob 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...
-
Manufacturing Engineer
5 days ago
Oklahoma City, United States ClimateMaster Full timeDescriptionPOSITION 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...