Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience. 3 years of experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal...