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.
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.Skills Required
- Bachelor's degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent experience
- Advanced data structures and algorithms knowledge
- Advanced knowledge in graphs
- Good knowledge of the C++ programming language
- Good spoken and written English
- Basics of formal methods
- Experience with formal verification and/or simulation
- Knowledge/Experience in EDA and VLSI design, including Verilog and VHDL
Cadence Design Systems Compensation & Benefits Highlights
The following summarizes recurring compensation and benefits themes identified from responses generated by popular LLMs to common candidate questions about Cadence Design Systems and has not been reviewed or approved by Cadence Design Systems.
-
Equity Value & Accessibility — A discounted ESPP with a lookback feature and equity included in total compensation make ownership broadly accessible and potentially meaningful. Structured compensation at an industry leader adds predictability to equity participation.
-
Healthcare Strength — Medical, dental, and vision coverage are described as solid, with mental‑health/EAP and fertility support enhancing the offering. The breadth across core care and family‑building needs strengthens the healthcare package.
-
Leave & Time Off Breadth — Global Recharge Days, volunteer time off, and companywide breaks indicate a comprehensive time‑off framework. In addition, many salaried roles are described as having flexible or generous PTO policies.
Cadence Design Systems Insights
What We Do
Cadence enables electronic systems and semiconductor companies to create the innovative end products that are transforming the way people live, work and play. Cadence® software, hardware and IP are used by customers to deliver products to market faster. The company's Intelligent System Design strategy helps customers develop differentiated products—from chips to boards to intelligent systems—in mobile, consumer, cloud, data center, automotive, aerospace, IoT, industrial and other market segments. Cadence is listed as one of Fortune Magazine's 100 Best Companies to Work For.
