Job Description
Job Function Functional Formal Verification Engineer – Lead We are seeking an experienced Functional Formal Verification Engineer to join our team and lead formal verification efforts for complex digital designs. As a Lead Formal Verification Engineer, you will play a critical role in ensuring the quality and reliability of our digital designs. Qualifications:
- Bachelor's or Master's degree in Electrical/Electronics Engineering, Computer Engineering, or a related field.
- 5+ years of experience in formal verification of complex IP/SubSystem/SoCs, with a robust understanding of digital logic design and verification techniques.
- Expertise in formal verification tools and property specification languages (e.g., SVA, PSL), as well as proficiency in HDLs such as System Verilog, Verilog or VHDL.
- Experience with industry-standard EDA formal tools.
- Experience with scripting languages (e.g., Python, Tcl, Perl) and programming languages such as C/C++/SystemC.
- Excellent problem-solving and analytical skills,



with the ability to debug complex issues and optimize verification performance.
- Strong communication and interpersonal abilities, with experience working in a team environment and collaborating with cross-functional teams.
- Proven track record in technical leadership and mentoring, with experience guiding junior engineers and contributing to the development of formal verification methodologies. Responsibilities
- Lead complete formal verification for single or multiple design blocks and IPs, including developing and implementing formal verification strategies and test plans.
- Create comprehensive formal verification test plans and specifications to ensure thorough coverage of design functionality.
- Prove design properties, identify bugs, and collaborate with design teams to improve micro-architectures and ensure design correctness.
- Craft innovative solutions for verifying complex design architectures, including developing re-usable and optimi

📌 Formal Verification (Bengaluru)
🏢 MediaTek
📍 Bengaluru