Verification Engineer, Formal(Automation)

About Iravan

Iravan Technologies, headquartered in Pune, is a semiconductor design services company specializing in Mixed-Signal, Digital, and Formal Verification. We partner with leading companies across Storage, Networking, Aerospace, Automotive, Defense, and other critical industries to deliver advanced semiconductor solutions.

We're hiring an engineer to help scale our formal verification practice through Python automation. You'll work with senior verification engineer and on internal tooling that makes formal flows faster and more repeatable.

Designation: Verification Engineer, Formal (Automation)

QualificationM.Tech or MS in VLSI, Microelectronics, Electronics, Computer Engineering, or related field.

Experience: M.Tech + 1 year of relevant industry experience

Location: Pune

What you'll work on

• Python automation around formal verification flows
• Utilities that parse RTL, specs, logs, and reports
• Tooling support for assertions, runs, debug, and reporting
• Integration with existing verification environments
• Turning manual, repetitive tasks into reusable tools

Must-have

• Strong Python
• Solid digital design and RTL fundamentals
• Working knowledge of System Verilog and verification concepts
• Comfortable using modern developer productivity tools day-to-day

Good to have

• Exposure to SVA, UVM, formal tools, or commercial EDA flows
• Linux, shell scripting, Git, CI (Jenkins or similar)
• Academic or project work in VLSI automation or internal tool development

Interested candidates may share resumes at careers@iravan.tech - (Immediate candidates preferred)