[Skip to main content](#main-content) [OpenNash Jobs](https://jobs.opennash.com/) [Hiring report](/reports/hiring/) · [All MediaTek jobs](https://jobs.opennash.com/companies/mediatek/) · [Search jobs](/search/) MediaTek · Bangalore # Formal Verification Bangalore Listed on MediaTek’s official careers site. Listed as of October 23, 2026. Check that it is still open and apply there. [Apply on MediaTek’s careers site →](https://careers.mediatek.com/en/jobs/MTB120250325001) [OpenNash Jobs](https://jobs.opennash.com/) / [MediaTek](https://jobs.opennash.com/companies/mediatek/) / Formal Verification ## 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 strong 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 optimized formal models and verification code bases. - Mentor junior team members and provide technical leadership in formal verification methodologies, including training and guidance on industry-standard tools and techniques. - Collaborate with cross-functional teams, including design and verification, to ensure seamless integration of formal verification into the overall verification flow. ### Preferred Skills - Experience with CPU, GPU, or other complex digital architectures, including knowledge of industry-standard protocols (e.g., AXI, CHI, PCIe). - Familiarity with UVM methodology and/or other simulation-based verification methodologies. - Experience with advanced FV performance optimization techniques, such as abstraction methods, property decomposition, and other state-space reduction techniques. - Expertise in Jasper or VC Formal products is highly desirable. Job Locations ### India - Bangalore ## At a glance - Posted by the employer: Not stated - First seen by OpenNash: Oct 23, 2026 - Last checked: Oct 23, 2026 - Listed for: Under a day - Location: Bangalore[Apply on MediaTek’s careers site →](https://careers.mediatek.com/en/jobs/MTB120250325001) ## More jobs at MediaTek ### [DFT STA Lead](https://jobs.opennash.com/companies/mediatek/jobs/676597ec4a3d8bc20f9b/) Bangalore ### [Sub System Verification Lead](https://jobs.opennash.com/companies/mediatek/jobs/a9412d1008054d464a58/) Bangalore ### [USB and System Level Verification Lead](https://jobs.opennash.com/companies/mediatek/jobs/c71f0fa61f5fb6f78e1a/) Bangalore ### [Analog Mixed-Signal Design Verification Engineer](https://jobs.opennash.com/companies/mediatek/jobs/bc7f1355101bbfc82381/) Bangalore ### [DFT Engineer](https://jobs.opennash.com/companies/mediatek/jobs/5698bbcb6f863d98a357/) Bangalore ## Similar jobs at other companies ### [Formal Verification CAD Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/31ec5eb21a89b05efb66/) Qualcomm · Bangalore, India ### [Principal Formal Design Verification Engineer](https://jobs.opennash.com/companies/microsoft/jobs/77157c255f58687bb52b/) Microsoft · India, Karnataka, Bangalore ### [Formal Verification Senior Engineer - Qualcomm, Cambridge, UK](https://jobs.opennash.com/companies/qualcomm/jobs/f03f4252eeff9b77c634/) Qualcomm · Cambridge, United Kingdom ### [Distinguished Formal Verification](https://jobs.opennash.com/companies/astera-labs/jobs/8acc4f006011f2371073/) Astera Labs · San Jose ### [Tech Lead, Formal Verification](https://jobs.opennash.com/companies/astera-labs/jobs/d91d4800c76eb0564835/) Astera Labs · Bengaluru OpenNash lists jobs from employers’ own careers sites and does not handle applications. Dates come from the employer where stated; “first seen” and “last checked” are our own observations. OpenNash Jobs · Official listings with dates and links to the employer. [Weekly hiring report](/reports/hiring/) · [Methodology](/methodology/)