Formal Verification Engineer

ACL Digital
📍 bengaluru, karnataka, India 💼 Full-time 🕒 Posted June 02, 2026

Job Description

Job Title: Formal Verification Engineer

Location: Bangalore

Experience: 4+Years

Job Type: Full-time

Industry: Semiconductor / ASIC Design / EDA

Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer Engineering

Job Description:

We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be responsible for developing and executing formal verification strategies to ensure functional correctness of complex IP and SoC designs.

Key Responsibilities:

  • Define and implement formal verification strategies and plans.
  • Develop formal properties and assertions for critical design blocks.
  • Apply formal techniques such as property checking, sequential equivalence checking

    Ready to Apply?

    Submit your application today and join our talented team at ACL Digital.

    Submit Application

Job Details

  • Location bengaluru, karnataka
  • Job Type Full-time
  • Category Developing,debugging,design,integration,perl,red,sed
  • Posted Date June 02, 2026
  • Application Deadline July 12, 2026