Software Verification Engineer

We are seeking a driven Software Verification Engineer committed to excellence to join our innovative team and tackle challenges in high-speed networking. You will play a key role in simulating InfiniBand networks and validating complex software products that deliver advanced networking services for high-performance computing, machine learning, and AI workloads.

What You’ll Be Doing

• Design and develop applications that simulate large-scale, high-speed networks, which are essential for testing software features that cannot be validated on physical hardware.
• Build automated tests in a simulated environment for high-end hardware and software to ensure the robustness and reliability of our networking software stack using advanced testing platforms.
• Collaborate with Software, Firmware development, and Architecture teams to foster open communication, understand new network technologies, and work together to ensure accurate modeling in your simulation applications.
• Improve product quality by enhancing test coverage and developing comprehensive verification strategies.
  
  

• Bachelor’s degree in computer science or a related field, or equivalent experience.
• Proven experience of at least 3 years in similar roles, emphasizing collaborative problem-solving.
• Proficiency in Python programming.
• Familiarity with developing modern Software Verification Systems, with a strong interest in algorithms.
• Strong skills in implementing and debugging software, including experience working in a Linux environment.
  
  

• Understanding of the OCI/network model.
• Knowledge of C/C++ programming.
• Experience with Docker and Kubernetes.
• A scripting background (e.g., Bash, Groovy).