Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
2 years of experience with verification methodologies and languages (e.g., UVM, SystemVerilog).
Experience developing and maintaining verification testbenches, test cases, and test environments.
Experience working on main interconnects, DMA, controllers, power management, and capturing design specifications in a temporal assertion language (e.g., SVA, PSL).
Preferred qualifications:
Master's degree or PhD in Electrical Engineering or Computer Science.
Experience working with one or more formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, or 360-DV).
Experience with scripting languages (e.g., Python).