Description
We are looking for a senior software engineer to join our NVIDIA software Formal Verification team dealing with cutting-edge Formal Verification technology for both software and hardware. You will use C/C++ and other tools and technologies to build software-based proofs for complex logical behaviors, help develop our Software Formal Verification methodologies and tools, and work on ambitious designs along with our Firmware and Software teams.
As a senior software engineer, you will have a BSc in Computer Engineering/Computer Science/Mathematics or equivalent, 5+ years of experience in software development, excellent analytical, logical reasoning, and problem-solving skills, strong communication and interpersonal skills, and fluency in English.
You will also have hands-on experience applying AI in a professional environment, background in architecture simulators, experience in firmware/embedded systems, and experience in Formal Verification for software.
If you are a creative engineer who loves challenges, come join our team and help us build the future of HPC, data centers, and GPUs.