Application Engineer Manager – Formal Verification and Functional Simulation (Formal Verification)

Location: Belo Horizonte, Brazil

Company

hirify.global provides electronic design automation tools, intellectual property, and hardware for the electronics design chain, from chip design to packaging, boards, and systems.

What you will do

• Support customers by debugging complex verification issues and developing solutions with Formal Verification and Functional Simulation tools.
• Advise customers on Jasper, Xcelium-based flows, and hybrid formal and simulation methodologies.
• Collaborate with R&D and Product Engineering to identify and prioritize product improvements based on customer feedback.
• Lead verification strategies, methodologies, best practices, and technical customer engagements.
• Create knowledge articles, tool adoption kits, best-practice documents, and verification methodology guidelines.
• Mentor engineers and collaborate with worldwide AE teams, Sales, and TFO teams on account support strategies.

Requirements

• Bachelor’s degree in Electrical Engineering, Electronics, Computer Engineering, or a related field.
• Strong experience with verification methodologies and deep expertise in Formal Verification or Functional Simulation.
• Experience with Formal Verification applications such as Jasper, FPV, CDC, connectivity, or low-power verification, or with Xcelium, UVM-based flows, coverage, and regressions.
• Understanding of assertion-based verification, coverage concepts, sign-off criteria, and debugging methodologies.
• Experience integrating formal verification and simulation flows to improve coverage and verification closure.
• Strong communication skills and experience supporting customers in technically complex engagements.

Nice to have

• Scripting and flow automation experience with Tcl, Python, Perl, or shell.
• Experience leading or mentoring a small to mid-size engineering team.

Culture & Benefits

• Full-time employment under the CLT employment category.
• 40-hour workweek.
• Competitive benefits package.
• Collaboration with customer success and application engineering teams worldwide.