Application Engineer Manager (Formal Verification)

TL;DR

Application Engineer Manager (Formal Verification): Leading a team of engineers to enhance customer verification productivity through advanced formal and functional simulation methodologies with an accent on complex debugging and tool integration. Focus on driving product improvements, mentoring technical staff, and deploying AI-assisted verification solutions to optimize coverage and efficiency.

Location: Must be based in Belo Horizonte, Brazil

Company

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

What you will do

• Help customers enhance verification productivity by debugging complex issues and providing innovative solutions.
• Support Formal Verification and Functional Simulation flows, including hybrid methodologies.
• Work with R&D and Product Engineering to drive product improvements based on customer feedback.
• Provide technical leadership, mentoring, and coaching to the engineering team.
• Drive the creation of high-impact technical content and best-practice guidelines.
• Deploy and promote AI-assisted verification solutions to improve debug efficiency.

Requirements

• Bachelor’s degree in Electrical, Electronics, or Computer Engineering.
• Strong experience with Verification methodologies, specifically Formal Verification or Functional Simulation.
• Solid understanding of assertion-based verification, coverage concepts, and sign-off criteria.
• Proven debugging skills and ability to identify critical issues in complex environments.
• Strong communication skills and experience working directly with customers.
• Must be based in Belo Horizonte, Brazil.

Nice to have

• Knowledge of scripting and flow automation (Tcl, Python, Perl, shell).
• Experience leading or mentoring a small to mid-size team of engineers.

Culture & Benefits

• Competitive benefits package.
• Opportunity to work at a Fortune 100 Best Companies to Work For.
• Collaborative environment with global AE teams.
• Focus on innovation and solving complex technological challenges.