Skip to main contentA logo with &quat;the muse&quat; in dark blue text.

Sr Principal Application Engineer

Bangalore, India

At Cadence, we hire and develop leaders and innovators who want to make an impact on the world of technology.

Formal Lead Application Engineer , Bangalore or Noida or Hyderabad.

The Opportunity

As a Formal Verification Lead Application Engineer, you'll perform the formal verification of design for complex IP's, subsystems and SoC's by using Jasper App's.
You will also help in define and improve design and verification methodologies that allow you to achieve formal verification closure. In this role, you will be responsible to partner with customers in top semiconductor companies to build unique and innovative formal solutions to verify cutting edge designs This involves working closely with the customers to develop efficient Formal methodologies, helping them leverage the latest Jasper features and capabilities and guiding them to achieve the target metrics. In this role you will be closely working with the R&D team to drive new capabilities/features which will help solve customer pain points and improve productivity. This an excellent opportunity to work in a friendly work environment with a team that is dedicated and passionate about technology and innovation. Wide range of problems to be solved, No repetitive work . Also role provides great opportunity to work on (develop) very important soft-skills and inter-personal skills needed for professional growth

Want more jobs like this?

Get Software Engineering jobs in Bangalore, India delivered to your inbox every week.

By signing up, you agree to our Terms of Service & Privacy Policy.

• B.Tech./M.Tech. or equivalent in Electrical, Electronics or Computer Engineering.
• At least 8+ years of direct experience in formal verification.
• Ability to identify the suitable design for FV and analyze its complexity.
• Experience of creating formal test plan and test bench containing list of required checkers.
• Ability to dive deep in the RTL structures to understand the design and debug problems.
• Experience with CDC, LP , Security formal is a plus.
• Experience of at least one industry-wide used formal tools such as JG, VC Formal or Questa Formal.
• Proficient in SV and SVA.
• Perl/python/TCL scripting is a plus.

We're doing work that matters. Help us solve what others can't.

Client-provided location(s): Bengaluru, Karnataka, India
Job ID: Cadence-R39819
Employment Type: Full Time

Perks and Benefits

  • Health and Wellness

    • Dental Insurance
    • Vision Insurance
    • Life Insurance
    • Short-Term Disability
    • Long-Term Disability
    • FSA
    • HSA With Employer Contribution
    • Fitness Subsidies
    • On-Site Gym
    • Mental Health Benefits
    • Virtual Fitness Classes
    • Health Insurance
  • Parental Benefits

    • Birth Parent or Maternity Leave
    • Non-Birth Parent or Paternity Leave
    • Fertility Benefits
    • Adoption Assistance Program
    • Family Support Resources
    • Adoption Leave
  • Work Flexibility

    • Flexible Work Hours
    • Hybrid Work Opportunities
  • Office Life and Perks

    • Casual Dress
    • On-Site Cafeteria
    • Holiday Events
  • Vacation and Time Off

    • Paid Vacation
    • Unlimited Paid Time Off
    • Paid Holidays
    • Personal/Sick Days
    • Leave of Absence
    • Volunteer Time Off
  • Financial and Retirement

    • 401(K) With Company Matching
    • Stock Purchase Program
    • Performance Bonus
    • Financial Counseling
  • Professional Development

    • Tuition Reimbursement
    • Promote From Within
    • Mentor Program
    • Access to Online Courses
    • Internship Program
    • Leadership Training Program