Minimum Qualification:

• Bachelor's/ Master's degree in Electrical Engineering or Computer Science, or equivalent practical experience.
• 3-10 years of experience with formal verification ASIC design.
• Experience writing formal properties using System Verilog Assertions (SVA).
• Experience with EDA tools (e.g., JasperGold, Questa Formal, VC Formal

Preferred qualifications:

• Master's degree or PhD in Electrical Engineering or Computer Science.
• Experience with scripting languages.
• Knowledge of specific formal applications, abstraction techniques and proof convergence strategies.

Responsibilities:

• Develop formal verification test plans to verify digital hardware designs.
• Work cross functionally with teams to analyze specifications and resolve bugs.
• Drive improvements to formal verification methodologies to enhance quality and efficiency.