Software Engineer II: Jasper R&D

4 Months ago • All levels

Research Development

Job Description

The Software Engineer II: Jasper R&D will be part of the Jasper team in the System Verification group (SVG) in Belo Horizonte, Brazil. The role involves working with a Formal Verification tool and primarily using C++ and scripting languages. The responsibilities include solving real-world programming problems in an innovative, supportive, and collaborative environment. The role requires collaboration with other teams globally. The job involves understanding and working with the Jasper Formal Verification Platform.

Good To Have:

Experience with scripting languages like Python and tcl.
Knowledge of Verilog and VHDL languages.

Must Have:

Bachelor's degree in Computer Science or related fields.
Solid knowledge in data structures and algorithms.
Knowledge of C++ programming language.
Good written and spoken English.

Perks:

Competitive benefits.

Add these skills to join the top 1% applicants for this job

cpp

data-structures

game-texts

html

unix

python

algorithms

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 II: 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. Working at Cadence is very dynamic, fast-paced, and integrated with other teams all around the world.

As a Software Engineer II: Jasper R&D, you will be part of the Jasper team in the System Verification group (SVG) in Belo Horizonte, Brazil. The Jasper works with a Formal Verification tool. To understand more about what we do, you can visit Jasper Formal Verification Platform

Job Description:

The developer will work daily with C++ and a few scripting languages on the Jasper R&D team, solving real-world programming problems in an innovative, supportive, and collaborative environment. To understand more about what we do, you can visit Jasper Formal Verification Platform

Requirements:

Complete Bachelor's degree in computer science, computer Engineering or related Engineering, Math and Statistic courses.
Solid knowledge in data structures and algorithms.
Knowledge of C++ programming language.
Good written and spoken English.

Nice to have:

Experience with scripting languages – Python, tcl - and unix environment.
Knowledge of Verilog and VHDL languages.

Additional Job Details:

Employment category: CLT
Employment term: 40 hours/week.
Competitive benefits.
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.