Software Engineer I: Jasper R&D

Cadence Design Systems; Belo Horizonte; Presencial; BRL 60 000 - 100 000; Tempo integral

Resumo da oferta

Cadence Design Systems Inc. is seeking a Software Engineer I: Jasper R&D to join our Belo Horizonte team in Brazil.

You will work on Jasper, a leading formal verification tool, within the Systems and Verification group. In this role you will develop and validate new solutions, collaborate with peers on advanced formal engines, HDL synthesis, and graph modeling, and grow your expertise in C++ and English communication.

Qualificações

• 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.

Responsabilidades

• Developing and validating new solutions to Jasper, a formal verification tool.
• 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.

Conhecimentos

Data structures & algorithms

Graphs

C++

English proficiency

Formação académica

Bachelor’s in Computer Science / Computer Engineering / Electrical Engineering

Ferramentas

Verilog

VHDL

EDA

Descrição da oferta de emprego

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.

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.

Equal Employment Opportunity Policy

Cadence is committed to equal employment opportunity throughout all levels of the organization.

Read the policy(opens in a new tab)

We welcome your interest in the company and want to make sure our job site is accessible to all. If you experience difficulty using this site or to request a reasonable accommodation, please contact [e-mail].

Privacy Policy: Job Applicant If you are a job seeker creating a profile using our careers website, please see the privacy policy(opens in a new tab).

E-Verify Cadence participates in the E-Verify program in certain U.S. locations as required by law. Download More Information on E-Verify (64K)

Cadence plays a critical role in creating the technologies that modern life depends on.

We are a global electronic design automation company, providing software, hardware, and intellectual property to design advanced semiconductor chips that enable our customers create revolutionary products and experiences.

Thanks to the outstanding caliber of the Cadence team and the empowering culture that we have cultivated for over 25 years, Cadence continues to be recognized by Fortune Magazine as one of the 100 Best Companies to Work For.

Our shared passion for solving the world’s toughest technical challenges, our dedication to pushing the limits of the industry, and our drive to do meaningful work differentiates the people of Cadence.

Cadence is proud to be an equal opportunity employer.

All qualified applicants will receive consideration for employment without regard to race, color, sex, age, national origin, religion, sexual orientation, gender identity, status as a veteran, basis of disability, or any other protected class.