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. Requirements: 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. 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, access https://www.cadence.com We’re doing work that matters. Help us solve what others can’t.