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 Software Engineer II: Jasper R&D to work with us in Belo Horizonte, Brazil. At Cadence, we hire and develop leaders and innovators who want to impact the world of technology. Cadence has been nominated as a Great Place to Work globally and in Brazil and is also a Fortune 100 Best Companies to Work For. As a Software Engineer II: Jasper R&D, you will be part of the Debug team in the Systems and Verification group in Belo Horizonte, Brazil. The Debug Team works with Jasper, a Formal verification tool. To understand more on what we do, you can visit our page. Working at Cadence is very dynamic, fast-paced, and integrated with other teams all around the world. Job Description: Developing and validating enhancements on Jasper Graphical User Interface (GUI - C++ & Qt) and its supporting back-end, such as: -> Visualize™ - front-end: waveform drawing and manipulation / back-end: waveform simulation -> Source Code Browser - front-end: code display and syntax highlighting / back-end: token matching -> Schematic Viewer - front-end: gate layout and synthesis abstraction / back-end: graph theory and pattern matching Collaborating with team on pushing the boundary for next level debug capabilities in verification solutions. Working alongside talented people that will foster your growth and help you excel. Requirements: Bachelor’s in Computer science, computer engineering, electrical engineering or equivalent experience. Experience with Software development: 1+ year Solid advanced data structures and algorithms knowledge. Good knowledge of the C++ programming language. Good spoken and written English. Nice to have: Experience using the Qt C++ framework for developing GUI. Experience with formal verification and/or simulation. Knowledge/Experience EDA and VLSI design, including Verilog and VHDL languages. Additional Job Details: Employment category: CLT Employment term: 40 hours/week. Location: Av Contorno 5800, Belo Horizonte, Minas Gerais Brazil. About Cadence Design Systems: 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 http://www.cadence.com. We’re doing work that matters. Help us solve what others can’t. We’re doing work that matters. Help us solve what others can’t.