Nvidia is hiring a
Formal Methods Senior System Software Engineer

As a Formal Methods Development Engineer, you’ll be facilitating software’s move to using formal specification, implementation, and verification of software requirements, interfaces, and design. Beyond architecting system software and safety/security solutions and writing code yourself, improving the formal methods development infrastructure through training, tools development, and process design and automation. You’ll be part of a diverse team that plays a vital role in building core technologies and platform solutions that are sophisticated and industry leading. Our team’s technologies have a strong focus on the quality, safety and security needed for the high-integrity system level components of world-class Autonomous Vehicles.

What you’ll be doing:

• Developing system software for our DRIVEOS automotive software product

• Lead Ada/SPARK Training

• Lead the development of our NVIDIA Ada/SPARK Safety and Security Process

• Develop Ada/SPARK Tools

• Augment the Ada/SPARK Code base

• Support Ada/SPARK Developers

• Maintain and augment the Ada/SPARK development infrastructure

• Work with and support other NVIDIA teams developing Ada/SPARK.

What we need to see:

• BS, MS in CS/CE/EE or related engineering field, or equivalent experience.

• 8+ years of system software development.

• Excellent Ada and SPARK specification, programming, and verification skills.

• Experience designing, developing, and debugging complex systems.

• Deep understanding of embedded systems architecture: CPU, memory, Operating Systems, device drivers and middleware.

• Ability to self-manage and adapt in a dynamic environment.

• Possess excellent written and verbal communication skills, including training

Ways to stand out from the crowd:

• Knowledge of automotive systems, automotive safety, SW/HW cross-domain knowledge.

• An understanding of Safety Certified Operating System such as QNX or other commercial OS and experience in user space applications development on Ada/SPARK.

• Knowledge of Operating System fundamentals with special emphasis on secure buffer sharing, memory barrier management, secure inter process communication.

• Hands-on experience doing formal modeling and verification in a higher-level language like TLA+ or Z.

NVIDIA is a “learning machine” that constantly evolves by adapting to new opportunities that are hard to solve, that only we can pursue, and that matter to the world. This is our life’s work: to amplify human creativity and intelligence. NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and dedicated people in the world working for us. If you are creative, autonomous, and love a challenge, we would love to hear from you.

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.