Software Engineer I: Jasper R&D
Cadence Design SystemsJob Title
Software Engineer I: Jasper R&D
Role Summary
Join the Jasper R&D team in Belo Horizonte to develop and validate features for Jasper, Cadence's formal verification tool. The role focuses on implementing algorithms and features that improve formal engines, HDL synthesis, and graph-based models.
Experience Level
Entry-level. No specific years-of-experience requirement stated.
Responsibilities
The core responsibilities are engineering-focused: design, implement, and validate software features for Jasper and collaborate with the team on algorithmic and modeling challenges.
- Develop and validate new solutions and features for Jasper (formal verification tool).
- Design and implement algorithms for formal engines, HDL synthesis, and graph modeling.
- Write, review, and maintain C++ code and associated tests.
- Collaborate with teammates to analyze problems and propose robust technical solutions.
Requirements
Must-have technical skills and proficiencies.
- Strong knowledge of data structures and algorithms.
- Strong knowledge of graph algorithms and graph modeling.
- Proficient in C++ programming.
- Good spoken and written English.
Education Requirements
Complete Bachelor’s degree in Computer Science, Computer Engineering, Electrical Engineering, or equivalent practical experience.
About the Company
Company: Cadence Design Systems
Headquarters: San Jose, California, USA
Cadence Design Systems is a global electronic design automation company that provides software, hardware, and intellectual property for designing advanced semiconductor chips. With over 25 years in the industry, Cadence is known for its innovative technology solutions and has been recognized by Fortune Magazine as one of the 100 Best Companies to Work For. The company is dedicated to solving complex technical challenges in order to enable customers to create revolutionary products and experiences.
