Posted:3 days ago|
Platform:
On-site
Full Time
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.
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 careers@iravan.tech - (Immediate to 30-day notice period candidates preferred)
Iravan
Upload Resume
Drag or click to upload
Your data is secure with us, protected by advanced encryption.
Browse through a variety of job opportunities tailored to your skills and preferences. Filter by location, experience, salary, and more to find your perfect fit.
We have sent an OTP to your contact. Please enter it below to verify.
Practice Python coding challenges to boost your skills
Start Practicing Python Now16.0 - 17.0 Lacs P.A.
pune, maharashtra, india
Experience: Not specified
Salary: Not disclosed
bengaluru, karnataka, india
Salary: Not disclosed
hyderabad, chennai, bengaluru
2.25 - 5.5 Lacs P.A.
karnataka
Salary: Not disclosed
20.0 - 35.0 Lacs P.A.
Experience: Not specified
2.0 - 7.0 Lacs P.A.
Experience: Not specified
3.0 - 4.0 Lacs P.A.
hyderabad, telangana, india
Experience: Not specified
Salary: Not disclosed
Bengaluru, Karnataka, India
1.5 - 5.5 Lacs P.A.