Talent.com
No longer accepting applications
(20 / 10 / 2025) Functional Formal Verification Engineer – Lead

(20 / 10 / 2025) Functional Formal Verification Engineer – Lead

MediaTekIndia
11 days ago
Job description

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.
  • 10+ 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.
    • Create a job alert for this search

    Verification Engineer • India

    Related jobs
    • Promoted
    Principal SoC Design Verification Methodology Engineer

    Principal SoC Design Verification Methodology Engineer

    Mulya TechnologiesNagpur, IN
    Principal Gen AI based SoC Design Verification Methodology Engineer.We are a US based Stealth mode Start-up.Hyderabad / Bangalore / Remote ( any where in India ). We unify the processes used in Semi...Show moreLast updated: 25 days ago
    • Promoted
    Senior Validation Engineer (CQV, Equipment, Injection Mold, HVAC)

    Senior Validation Engineer (CQV, Equipment, Injection Mold, HVAC)

    Tek Supportnagpur, maharashtra, in
    Senior Trainer – Validation (CQV, Equipment, Injection Mold, HVAC).To design, develop, and deliver comprehensive training programs on Commissioning, Qualification & Validation (CQV), Equipment Qual...Show moreLast updated: 6 days ago
    • Promoted
    ARM Design Verification Lead

    ARM Design Verification Lead

    L&T Technology ServicesNagpur, IN
    You should be a verification engineer with a knowledge of SoC integration verification, SoC scenario verification, SoC performance verification, CHI / PCIe / CXL, DDRx / LPDDRx integration verification i...Show moreLast updated: 30+ days ago
    • Promoted
    Quality Engineer

    Quality Engineer

    IntraEdgeNagpur, IN
    Senior Quality Assurance Engineer : .The Quality Assurance (QA) Engineer is responsible for conducting manual and assisting in automated testing. This person works in close collaboration with other me...Show moreLast updated: 26 days ago
    • Promoted
    Oracle Fusion HCM - Functional / Techno Functional

    Oracle Fusion HCM - Functional / Techno Functional

    MPC Cloud Consulting Pvt LtdNagpur, IN
    We are looking for a minimum of 5 up to 18 years’ experience in Oracle Fusion HCM Technical / Functional or Techno Functional Consultant with excellent communication & expertise in HCM Modules such a...Show moreLast updated: 30+ days ago
    • Promoted
    MLOps Lead Engineer

    MLOps Lead Engineer

    RecroNagpur, IN
    Experience with Azure services such as Azure AI services, Azure Search, Azure ML, Databricks, Azure Kubernetes Service, and AWS services like AWS SageMaker, AWS Bedrock and AWS Lambda.Exposure to G...Show moreLast updated: 16 days ago
    • Promoted
    Functional Consultant- Oracle EBS (SME) Financials

    Functional Consultant- Oracle EBS (SME) Financials

    Marsh McLennanNagpur, IN
    Location- Gurugram / Noida / Mumbai / Pune.Functioanl Consultant- Oracle EBS (SME) Financials.In this role, you will work on Oracle applications finance modules support for the company's business solutio...Show moreLast updated: 30+ days ago
    • Promoted
    Senior Engineer - Protocols

    Senior Engineer - Protocols

    RecroNagpur, IN
    As a Software Engineer, you will play a key role in enhancing our cloud-scale NAS platform.Your responsibilities will include : . Collaborating on requirements analysis, design reviews to evolve Nasun...Show moreLast updated: 16 days ago
    • Promoted
    Senior MLOps Engineer

    Senior MLOps Engineer

    Mitchell Martin Inc.Nagpur, IN
    Include, but are not limited to, the following : .Own productionizing models—from tracked experiments to governed releases—ensuring resilient services with clear SLOs, runbooks, and fast, safe rollba...Show moreLast updated: 30+ days ago
    • Promoted
    AMS Verification Engineer / Lead

    AMS Verification Engineer / Lead

    eInfochips (An Arrow Company)India, India
    Minimum 6 years relevant experience is required.Bangalore, Hyderabad, Noida, Chennai, Ahmedabad, Pune.Min 6 Years of overall experience in ASIC Verification. Should have worked on AMS Verification f...Show moreLast updated: 30+ days ago
    • Promoted
    CPQ Techno / Functional Consultant

    CPQ Techno / Functional Consultant

    Affintrix TechnologiesNagpur, IN
    Candidates should have a minimum of 8-10 years of experience in Oracle CPQ Cloud module.Experience required in Quotation Configuration, Product Management-Items, BOMs, Document Designer, Big Machin...Show moreLast updated: 14 days ago
    • Promoted
    SAP APO Functional Engineer – SNP / PPDS / CIF

    SAP APO Functional Engineer – SNP / PPDS / CIF

    Cube Hub Inc.Nagpur, IN
    SAP APO Functional Engineer – SNP / PPDS / CIF.Location : Fully Remote anywhere in India.APO with deep expertise in APO SNP and PPDS. Hands on experience in APO SNP Optimizer & Deployment is mandator...Show moreLast updated: 6 days ago
    • Promoted
    Staff SoC Design Verification Methodology Engineer

    Staff SoC Design Verification Methodology Engineer

    Mulya TechnologiesNagpur, IN
    Staff based SoC Design Verification Methodology Engineer.We are a US based Stealth mode Start-up.Hyderabad / Bangalore / Remote ( any where in India ). We unify the processes used in Semiconductor a...Show moreLast updated: 16 days ago
    • Promoted
    Senior Design Verification Engineer

    Senior Design Verification Engineer

    IgnitariumNagpur, IN
    We are seeking a skilled Design Verification Engineer with hands-on experience in live projects.If you have a passion for developing functional verification environments, excellent debugging skills...Show moreLast updated: 16 days ago
    • Promoted
    ASIC Verification Lead

    ASIC Verification Lead

    eInfochips (An Arrow Company)Nagpur, IN
    Job Locations : Bangalore / Hyderabad / Ahmedabad / Chennai (WORK FROM OFFICE ONLY).NO WORK FROM HOME OR REMOTE WORK).Best In Class Employee Welfare Practices. Cutting Edge, Full Chip ODC Projects.Higher ...Show moreLast updated: 30+ days ago
    • Promoted
    Lead Backend Engineer

    Lead Backend Engineer

    SenpiNagpur, IN
    In just four months since launching on Base, Senpi has processed.Backed with $4M in Seed capital by top investors including Lemniscap, Coinbase Ventures, and SuperLayer, we’re building on a track r...Show moreLast updated: 30+ days ago
    • Promoted
    Techno Functional Consultant

    Techno Functional Consultant

    ORO LabsNagpur, IN
    Chennai / Bangalore / Pune(Remote with occasional travel).Established in 2020 and headquartered in California, ORO is a SaaS based procurement startup that makes procurement easy and efficient for ...Show moreLast updated: 16 days ago
    • Promoted
    Contractor Security Engineer Level 3 – GRC Tech Solutions

    Contractor Security Engineer Level 3 – GRC Tech Solutions

    MindlanceNagpur, IN
    Remote Role | Contractor Security Engineer Level 3 – GRC Tech Solutions.This position focuses on enabling process clarity, automation, and efficiency while creating insights that empower our busine...Show moreLast updated: 8 days ago