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

Application Engineer Intern - Formal Verification

AT Cadence
Cadence

Application Engineer Intern - Formal Verification

Belo Horizonte, Brazil

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

Cadence Design Systems Inc. is looking for a motivated Formal Verification Application Engineer Intern to work with us in Belo Horizonte, Brazil. Make your mark! Apply now!

As an Intern, you will be trained to become an expert in Formal Verification methodologies in the System Verification Group Technical Field Operations group (TFO-SVG) in Belo Horizonte. The TFO-SVG group works with Jasper, Xcelium, Palladium, Protium, VIPs, and other Cadence Digital Functional Verification tools. The application engineers provide technical support, enabling customers to effectively deploy our industry-leading technology, focused on RTL-level verification products. You will be in a Formal Verification focused team working with our Jasper Formal Verification Platform and its customers to understand their needs and provide guidance on the best technologies and methodologies to enable their success, coming up with innovative solutions to address the industry most challenging problems.

Want more jobs like this?

Get jobs in Belo Horizonte, Brazil delivered to your inbox every week.

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


Working at Cadence is very dynamic, fast-paced, and integrated with other teams all around the world.

Formal Verification Application Engineer Internship Description:

  • Internship and training on the Application Engineer role focused on the Formal Verification field as mentioned above, reporting to higher management.
  • Provide technical support to customers and field personnel in RTL verification solutions focused in the Jasper tool.
  • Conduct root cause analysis and provide resolution to customer technical issues.
  • Run customer test cases to verify problems, create workarounds when possible, test and deliver R&D fixes.
  • Close collaboration with R&D on issues using established protocols.
  • Author application notes and help provide feedback on documentation.
  • Use scripting languages like TCL and Python for flow development, automation and enhancing design methodologies.
  • Engage with AE team on Pre-sales technical campaigns from the technical side, working along with Sales and Marketing.

Minimum Requirements

  • Enrolled in Bachelor degree in Electrical Engineering, Control and Automation Engineering, Systems Engineering, Electronics Engineering, Computer Science, Information Systems, Computational Mathematics, or related areas.

Nice to have Skills:

  • Excellent verbal and written communications skills in Portuguese and English.
  • Good problem-solving skills.
  • Strong inter-personal and communication skills.
  • A strong interest in contributing to customer success with related technical interest in EDA, hardware development (Verilog or VHDL), and Logic Design.
  • Interest in scripting languages such as TCL and Python is a plus.

Additional Job Details:

  • Employment category: Internship
  • Employment term: 20 hours/week
  • Competitive benefits
  • In-person work in Belo Horizonte, Minas Gerais, Brazil: Av. do Contorno 5800

About Cadence Design Systems:

At Cadence, we hire and develop leaders and innovators who want to impact the world of technology. Cadence has been nominated as a Great Place to Work globally and in Brazil and is also a Fortune 100 Best Companies to Work For.

Cadence is the only company that provides the expertise and tools, IP, and hardware required for the entire electronics design chain, from chip design to chip packaging to boards and to systems. We enable electronic systems and semiconductor companies to create innovative products that transform the way people live, work, and play. Our products are used in mobile, consumer, cloud datacenter, automotive, aerospace, IoT, industrial and other market segments. For more information, access http://www.cadence.com.

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

Client-provided location(s): Belo Horizonte, State of Minas Gerais, Brazil
Job ID: Cadence-R47869
Employment Type: Intern

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