Cadence

Software Engineer I: Jasper R&D

Brazil · Work style not stated · Full time

Apply on the employer’s site ↗See how well you match this job

You apply directly with the employer. ROLIVA does not submit applications from this page and is not the employer.

About the role

Description from the employer’s posting. Check the employer’s page for the current version.

EmployerCadence
LocationBrazil
Work styleWork style not stated
Employment typeFull time
Employer posted24 Aug 2026

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 Software Engineer I: Jasper R&D to work with us in Belo Horizonte, Brazil.

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.

As a Software Engineer I: Jasper R&D, you will be part of a team that works with Jasper, a Formal verification tool, in the Systems and Verification group in Belo Horizonte, Brazil.

Job Description:

Developing and validating new solutions to Jasper, a formal verification tool that's the leader in the market
Collaborating with team on pushing the boundary for next level technologies on formal engines, HDL synthesis, graph modeling and other challenging problems.
Working alongside talented people that will foster your growth and help you excel.

Show full description

Requirements:

Complete Bachelor’s in Computer science, computer engineering, electrical engineering or equivalent experience.
Solid advanced data structures and algorithms knowledge.
Solid advanced knowledge in graphs.
Good knowledge of the C++ programming language.
Good spoken and written English.

Nice to have:

Knowing the basics of formal methods is a plus.
Experience with formal verification and/or simulation.
Knowledge/Experience EDA and VLSI design, including Verilog and VHDL languages.

Additional Job Details:

Employment category: CLT
Employment term: 40 hours/week.
Location: Av Contorno 5800, Belo Horizonte, Minas Gerais Brazil.

About Cadence Design Systems:

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.

See how well you match this job Apply on the employer’s site ↗

Check your resume against this job Free, no sign-up. Nothing you paste is stored.

Staying safe while you apply

Never pay to apply, interview or accept an offer. ROLIVA never asks you for payment to apply to a job.
Apply only through the official “Apply on the employer’s site” button, on the employer’s own site, and check that a recruiter’s email uses that employer’s own domain rather than a free email address.
Be cautious of an offer made with no real interview, or pressure to decide quickly or share financial details early.

Does something look wrong with this listing? Use “Report broken link” in the role details, or read ROLIVA’s full job-safety guidance ↗.

Preparing for this role with ROLIVA

Check the fit.
Compare the requirements with the experience you have confirmed, including gaps.
Prepare honestly.
Build interview stories and application drafts from your own evidence.
Keep track.
Save the role and record your own application status and follow-ups.

Create a free workspace or log in.