Cadence Design Systems Inc.is looking for a motivated LeadSoftware Engineer: Jasper R&Dto 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

• 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

Requirements:

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

Nice to have:

• 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

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, accesshttps://www.cadence.com