Formal Verification
MediaTek · Posted Oct 16
System-on-chip, 5G modem, connectivity, and artificial intelligence semiconductor solutions
Get a personal compatibility score
Add a resume for personal matches
About the role
MediaTek's functional formal verification team works on ensuring the quality and reliability of complex digital designs, IPs, and SoCs. The group applies formal verification tools, property specification languages, and HDL-based methodologies to digital logic design and verification. This Lead Formal Verification Engineer role will lead end-to-end formal verification for design blocks and IPs, develop verification strategies and test plans, debug design issues with design teams, and mentor junior engineers while shaping formal verification methodology.
What you will do
- 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.
Skills used in this role
What the employer is looking for
- 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.
Preferred qualifications
- 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.
Benefits and support
- Compensation and benefits are detailed in the job posting
About MediaTek
MediaTek Inc. is a global fabless semiconductor company that designs and distributes tightly-integrated, power-efficient systems-on-chip (SoCs) for mobile devices, home entertainment, connectivity, and IoT. Powering over two billion devices a year, the company is a market leader in mobile processors and custom silicon solutions. MediaTek enables cutting-edge innovation across edge computing, smart homes, and automated driving.
- Industry
- Semiconductors
- Company size
- 17000+ employees
- Founded
- 1997
- Location
- Hsinchu, Taiwan
- Funding stage
- Public Company
Funding
Public Company · $3.5B raised
- 2026-09-01Convertible Bonds$3.5B
Leadership
Ming-Kai Tsai
Chairman
Rick Tsai
Vice Chairman & CEO
Joe Chen
President & COO
David Ku
CFO & Corporate Executive Vice President
Kevin Jou
Chief Technology Officer & Corporate EVP
Recent coverage
Bloomberg
ByteDance in Advanced Talks With MediaTek for Custom AI Data Center Chips2026-10-15
PR Newswire
MediaTek and Airoha Showcase Next-Gen Broadband Connectivity at Network X 20262026-10-07
MediaTek Newsroom
MediaTek Unveils Dimensity 9600 Pro Adopting New 2nm Process Node2026-09-15
MediaTek Newsroom
NVIDIA Deepens Partnership with MediaTek to Build AI Edge to Cloud Computing Platforms2026-08-31