Formal Verification Engineer

Company: Advanced Micro Devices Inc

Location: Bangalore, India

Posted: Feb. 11, 2026

Role Summary

As a Formal Verification Engineer, you will work with formal experts and designers to verify formal properties and drive convergence in the design aspects.

Experience Level

Mid-Career

Responsibilities

• Drive formal verification for the block and write formal properties and assertions to verify the design.
• Coordinate with RTL engineers to implement logic design for better clock gating and verify various design aspects.
• Write tests, sequences, and testbench components in SystemVerilog and UVM along with formal to achieve design verification.
• Responsible for verification quality metrics, including pass rates, code coverage, and functional coverage.

Requirements

• Must have a Bachelor's or Master's degree in Computer Engineering or Electrical Engineering.

Education Requirements

Bachelors or Masters degree in Computer Engineering or Electrical Engineering.