Job Description
We are now seeking a Formal Verification Engineer, focusing on the firmware verification! In this role, you will be instrumental in ensuring the correctness, security, and reliability of our low-level software that drives the next generation of computing performance. This position is ideal for an individual passionate about applying advanced formal methods to solve complex firmware verification and hardware-firmware co-verification challenges at scale.
As a Formal Verification Engineer, your primary responsibility will be to use formal methods to prove the correctness and safety properties of critical firmware components. You will work closely with firmware architects, software developers, and hardware design teams to define specifications and ensure the firmware adheres to them across various operational states.
What you'll be doing:
+ Develop high-level, mathematically precise models and specifications for complex firmware behaviors (e.g., security pr...
As a Formal Verification Engineer, your primary responsibility will be to use formal methods to prove the correctness and safety properties of critical firmware components. You will work closely with firmware architects, software developers, and hardware design teams to define specifications and ensure the firmware adheres to them across various operational states.
What you'll be doing:
+ Develop high-level, mathematically precise models and specifications for complex firmware behaviors (e.g., security pr...
Apply for this Position
Ready to join NVIDIA? Click the button below to submit your application.
Submit Application