Software Formal Verification Engineer

We are looking for a Software Engineer or Computer Scientist for our Software Formal Verification team! This is an exciting opportunity to join a unique team dealing with cutting-edge Formal Verification technology for both software and hardware. Supporting our Switch, NIC, and GPU technologies, we research and use state-of-the-art formal verification tools and methodologies to mathematically prove the correctness of both software and hardware. You will be joining a growing team, using both in-house and third-party technologies that keep developing, and assist in defining new methodologies. As part of this team, you'll enjoy a versatile work environment that is educational, dynamic, and ambitious.
What you'll be doing:
In this position, you will use formal verification tools and methods to mathematically prove the correctness of complicated logic problems
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 our core technology.