Formal Verification Engineer at NVIDIA

Ideal for a mid-level Software Engineer or Computer Scientist with a BSc in Computer Engineering, Computer Science, Mathematics, or an equivalent, and at least 4 years of software experience. You should possess strong analytical, logical reasoning, and problem-solving abilities. **What makes it worth a look...** This Software Formal Verification role is with NVIDIA, located on-site in Tel Aviv, Israel. You'll be working with cutting-edge formal verification technology to prove the correctness of both software and hardware for NVIDIA's core technologies, including Switch, NIC, and GPU. **You might be a good fit if you...** * Have 4+ years of experience in software. * Possess a BSc in Computer Engineering, Computer Science, Mathematics, or equivalent. * Have experience in Formal Verification in software. * Have background in architecture simulators or experience in firmware/embedded systems.