Formal Verification Engineer

Job Description: 

We are looking for RTL design engineers to work with our clients in the area of formal verification. You will be required to help design, implement and execute formal end-to-end formal verification flows, including specification, development, testing and documentation

Educational Qualfications: 
Masters or Ph.D degree in Computer Science, Computer Engineering or Electronics Engineering
Required Experience: 
3 to 5 years experience in Formal Verification
Job Location: 
Bangalore, India
Required skills: 
  • Knowledge of software languages like Perl/Tcl/Java
  • Expertise in SystemVerilog Assertions coding
  • Experience in working on assertions, formal verification checks, equivalence checks
  • Good understanding of formal verification algorithms and techniques
  • 3-5 years experience with industry standard formal verification tools