Software Engineer I: Jasper R&D

Cadence Design Systems
Belo Horizonte, Minas Gerais
Workplace: OnsiteFull timeFunction: Software EngineeringEducation: bachelorsSkills: ["Communication"]

Develop and validate new solutions to Jasper, a formal verification tool, within the Systems and Verification group. Collaborate with the team to advance next-level technologies across formal engines, HDL synthesis, graph modeling, and other challenging problems. Work with experienced teammates to grow your skills and help deliver improvements to a leading formal verification product.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Cadence Design Systems
Cadence Design Systems
10 hours ago

Software Engineer I: Jasper R&D

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 10 hours agoStatus: Live

Job Summary

Develop and validate new solutions to Jasper, a formal verification tool, within the Systems and Verification group. Collaborate with the team to advance next-level technologies across formal engines, HDL synthesis, graph modeling, and other challenging problems. Work with experienced teammates to grow your skills and help deliver improvements to a leading formal verification product.
Location: Belo Horizonte, Minas Gerais
Workplace: Onsite
Employment Type: Full time
Job Function: Software Engineering
Seniority: Entry level

Key Responsibilities

  • •Develop and validate new solutions for Jasper, a formal verification tool.
  • •Collaborate with the team to push next-level technologies for formal engines.
  • •Work on HDL synthesis, graph modeling, and other formal verification challenges.
  • •Partner with talented teammates to support your growth and performance.

Key Requirements

  • •Complete a Bachelor’s degree in computer science, computer engineering, electrical engineering, or equivalent experience.
  • •Solid advanced knowledge of data structures and algorithms.
  • •Solid advanced knowledge of graphs.
  • •Good knowledge of the C++ programming language.
  • •Good spoken and written English.
Education:Bachelor's
Skills:Communication
Languages:English
Tech Stack:C++JasperHDL synthesisGraph modelingVerilogVHDLFormal verificationEDAVLSI

Company Brief

Cadence Design Systems
Provides electronic design automation (EDA) software, IP, and services for semiconductor and systems companies to design, verify, and implement integrated circuits, systems-on-chip, and electronic systems across industries including communications, automotive, and consumer electronics.
Industry: Developer Tools
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: San Jose, United States
Founded: 1988
Glassdoor
Glassdoor: 3.9
WebsiteLinkedInGlassdoor