Lead Software Engineer (C++)

TL;DR

Lead Software Engineer (C++): Leading the resolution of complex engineering challenges within the Jasper formal verification platform with an accent on performance, scalability, and large-scale code base maintenance. Focus on providing technical leadership, mentoring junior developers, and driving design-to-release cycles in a collaborative R&D environment.

Location: Must be based in Belo Horizonte, Brazil

Company

hirify.global provides expertise, tools, IP, and hardware for the entire electronics design chain, enabling companies to create innovative products across various market segments.

What you will do

• Lead the resolution of complex engineering challenges within the Jasper product.
• Contribute to a large-scale C++ code base.
• Provide day-to-day technical leadership and mentoring to junior developers.
• Assist the manager in distributing and controlling technical tasks.
• Collaborate with global R&D teams in a fast-paced environment.

Requirements

• Bachelor's degree in Computer Science, Engineering, Mathematics, or Statistics.
• 4+ years of experience in the software industry.
• Strong knowledge of data structures and algorithms with a focus on performance.
• Solid grasp of object-oriented design principles.
• Proficiency in modern C++.
• Strong written and spoken English communication skills.

Nice to have

• Knowledge of hardware verification techniques like simulation and formal verification.
• Familiarity with hardware description languages such as Verilog or VHDL.
• Experience with Python or Tcl in a Unix environment.

Culture & Benefits

• Competitive benefits package.
• Full-time employment (CLT) with 40 hours per week.
• Opportunity to work on innovative technology impacting global electronics design.
• Collaborative and supportive R&D environment.