Senior Software Engineer
Indexed description
What You'll Be Doing
- 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
- You will work on ambitious designs along with our Firmware and Software teams and take part in developing the next generation of NVIDIA's core technology
- 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
- Fluent in English
- Background in architecture simulators
- Experience in firmware/embedded systems
- Experience in Formal Verification for software
- Hands-on experience applying AI in a professional environment
, , JR2015267
Create a free Caio profile to unlock more results and save your role and location preferences.
Unlock free search