Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience. 3 years of experience with Formal Verification. Experience verifying digital IPs and Subsystems. Master's degree in Electrical Engineering, Computer...