Formal Verification Engineer

6 days ago

Pune, India Iravan Full time

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. Designation : Formal Verification Engineer Experience: 4+ Relevant in FV Location: BLR/Pune Vacancies :02 JD Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification). Experience with programming languages (e.g., Python/Perl and TCL). Experience with at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal). Expertise in property specification languages (e.g., SVA, PSL), as well as proficiency in HDLs such as System Verilog, Verilog or VHDL.   Interested candidates may share resumes at - (Immediate to 30-day notice period candidates preferred)

  • Formal Verification Engineer

    5 days ago

    Pune, India Best NanoTech Full time

    Designation : Formal Verification Engineer Experience: 4+ Relevant in FV Location: Bengaluru and Pune Roles & Responsibilities : Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification). Experience with programming languages (e.g., Python/Perl and TCL)....

  • Formal Verification Engineer

    5 days ago

    Pune, India Best NanoTech Full time

    Designation: Formal Verification Engineer Experience: 4+ Relevant in FV Location: Bengaluru and Pune Roles & Responsibilities : Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification). Experience with programming languages (e.g., Python/Perl and TCL)....

  • Formal Verification Engineer

    2 days ago

    pune, India Best NanoTech Full time

    Designation : Formal Verification Engineer Experience: 4+ Relevant in FV Location: Bengaluru and Pune Roles & Responsibilities : Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification). Experience with programming languages (e.g., Python/Perl and TCL)....

  • Formal Verification Engineer

    4 days ago

    Pune, India Best NanoTech Full time

    Designation : Formal Verification Engineer Experience: 4+ Relevant in FV Location: Bengaluru and Pune Roles & Responsibilities : Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification). Experience with programming languages (e.g., Python/Perl and TCL)....

  • Formal Verification Engineer

    5 days ago

    Pune, India Iravan Full time

    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. Designation : Formal...

  • Formal Verification Engineer

    6 days ago

    pune, India Iravan Full time

    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. Designation : Formal...

  • Formal Verification Engineer

    6 days ago

    Pune, Maharashtra, India Best NanoTech Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    Designation: Formal Verification EngineerExperience:4+ Relevant in FVLocation:Bengaluru and PuneRoles & Responsibilities :Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).Experience with programming languages (e.g., Python/Perl and TCL).Experience...

  • Formal Verification Engineer

    9 hours ago

    Pune, Maharashtra, India Iravan Full time ₹ 9,00,000 - ₹ 12,00,000 per year

    About IravanIravan 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.Designation: Formal...

  • Formal Verification Engineer

    5 days ago

    pune district, India Iravan Full time

    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. Designation : Formal...

  • Formal Verification Engineer

    5 days ago

    Pune, Maharashtra, India, Maharashtra Best NanoTech Full time

    Designation: Formal Verification EngineerExperience: 4+ Relevant in FVLocation: Bengaluru and Pune Roles & Responsibilities : Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).Experience with programming languages (e.g., Python/Perl and...