Completed Bachelor's degree in Computer Science , Computer Engineering, or a related Engineering, Mathematics, or Statistics program, with 4 or more years of experience in the software industry.
Strong knowledge of data structures and algorithms, with attention to performance and scalability.
Solid grasp of object-oriented design principles and patterns.
Proficiency in modern C++.
Good written and spoken English with strong communication skills.
Knowledge of hardware verification techniques, such as simulation and formal verification.
Familiarity with hardware description languages (Verilog, VHDL).
Experience with scripting languages (Python, Tcl) in a Unix environment.
Additional job details:
Employment category: CLT
Employment term: 40 hours/week.
Competitive benefits.
Location: Av Contorno 5800, Savassi, Belo Horizonte, Minas Gerais Brazil
We're doing work that matters. Help us solve what others can't.
Additional Information
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 Lead Software Engineer: Jasper R&D to work with us in Belo Horizonte, Brazil .
Be part of the Jasper team, in a very dynamic and fast-paced environment, integrated with other teams all around the world. To understand more about what we do, you can visit Jasper Formal Verification Platform .
Job Description:
Lead the resolution of complex engineering challenges within the Jasper product, from design through release.
Working in C++ on a large-scale code base, along with several scripting languages, you will contribute as part of the Jasper R&D team in an innovative, supportive, and collaborative environment.
Provide day-to-day technical leadership and mentoring to junior developers, helping the manager to distribute and control the technical tasks .
Cadence · Belo Horizonte