Lead Software Engineer: Jasper R&D

Cadence Design Systems Inc. is looking for a motivated Lead Software Engineer: 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 Lead Software Engineer, you will be part of Jasper Clock Domain Crossing (CDC) team in the System Verification group in Belo Horizonte, Brazil. The Jasper Clock Domain Crossing (CDC) team works with the clock and reset domain crossing part of Jasper, a formal verification tool. To understand more on what we do, you can visit Jasper Formal Verification Platform.

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

Job Description

• Testing, validating, and deploying enhancements on Jasper software for key customers.
• Working with Research and Development (R&D) to discuss test results and next steps for Jasper's features.
• Analyzing and gathering information on Jasper software issues and results for further fixing and improvement.

• Complete Engineering or Computer Science graduate with a BS or MS degree and 5+ years of applicable experience.
• Solid advanced data structures and algorithms knowledge.
• Solid Object-oriented programming knowledge.
• Experience in C++ development.
• Experience with Unix environment.
• Great verbal and written communication in English.
• Excellent interpersonal skills.

• Experience developing software using version control systems.
• Experience with scripting environments - either Tcl or Python.
• Knowledge/Experience with Formal verification and/or simulation.
• Knowledge/Experience EDA and VLSI design, including Verilog and VHDL languages.

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

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.