Lead Software Engineer (C++)

TL;DR

Lead Software Engineer (C++): Developing and optimizing Jasper formal verification software for clock and reset domain crossing with an accent on software testing, validation, and R&D collaboration. Focus on analyzing complex software issues, implementing enhancements, and ensuring tool reliability for key customers.

Location: Belo Horizonte, Brazil (Onsite)

Company

hirify.global provides the complete expertise, tools, IP, and hardware required for the entire electronics design chain, from chip design to systems.

What you will do

• Test, validate, and deploy Jasper software enhancements for key customers.
• Collaborate with R&D teams to discuss test results and define next steps for software features.
• Analyze and gather information on software issues to drive fixing and improvement.
• Work within a dynamic, fast-paced environment integrated with global teams.

Requirements

• BS or MS degree in Engineering or Computer Science.
• 5+ years of applicable professional experience.
• Solid advanced knowledge of data structures, algorithms, and Object-oriented programming.
• Proficiency in C++ development and experience with Unix environments.
• English: Great verbal and written communication skills required.

Nice to have

• Experience with scripting environments like Tcl or Python.
• Knowledge of Formal verification, simulation, EDA, or VLSI design.
• Experience with Verilog and VHDL languages.
• Experience using version control systems.

Culture & Benefits

• Employment at a Fortune 100 company recognized as a Great Place to Work globally and in Brazil.
• Competitive benefits package.
• Standard full-time CLT employment (40 hours/week).
• Opportunity to work on high-impact technology used in automotive, aerospace, and IoT sectors.