Software Formal Verification Engineer

NVIDIA

Not specified
Formal verification tools and methods
Excellent analytical and problem-solving skills
Strong communication and interpersonal skills
NVIDIA is seeking a Software Formal Verification Engineer to join their Software Formal Verification team, focusing on cutting-edge technology for both software and hardware validation. The role requires strong analytical skills and experience in software engineering, with a particular emphasis on formal verification methodologies

Job Summary

  • Join a unique team dealing with cutting-edge Formal Verification technology for software and hardware.
  • Use formal verification tools to mathematically prove the correctness of complicated logic problems.
  • Enjoy a versatile work environment that is educational, dynamic, and ambitious.

Matching Summary

Match Score: 85

NVIDIA is seeking a Software Formal Verification Engineer to join their Software Formal Verification team, focusing on cutting-edge technology for both software and hardware validation. The role requires strong analytical skills and experience in software engineering, with a particular emphasis on formal verification methodologies.

Skills & Requirements

Must-have

  • Formal verification tools and methods
  • Excellent analytical and problem-solving skills
  • Strong communication and interpersonal skills

Nice-to-have

  • Background in architecture simulators
  • Experience in firmware and embedded systems
  • Hands-on experience applying AI

Key Requirements

  • BSc in Computer Engineering/Computer Science/Mathematics
  • 4+ years of experience in Software

Work Rights

Not specified

Tailored Resume

Cover Letter