Application Engineer Manager – Formal Verification and Functional Simulation

Cadence; Belo Horizonte; Presencial; BRL 89 280 - 167 400; Tempo integral

Vantagens oferecidas por esta oferta de emprego

Competitive benefits package

Resumo da oferta

Cadence in Belo Horizonte, Brazil, seeks a technical leader for Formal Verification and Functional Simulation. Responsibilities include enhancing customer productivity and driving product improvements alongside R&D. Minimum qualifications include a Bachelor's degree in a related field and expertise in verification methodologies. The position offers a competitive benefits package and an opportunity to mentor a team while engaging with customers directly.

Qualificações

• Complete Bachelor’s degree in Electrical Engineering, Electronics, Computer Engineering, or a related field.
• Strong experience with Verification methodologies.
• Solid understanding of assertion-based verification and debug methodologies.

Responsabilidades

• Help customers enhance verification productivity.
• Support customers on Formal Verification and Functional Simulation.
• Work with R&D to drive product improvements.

Conhecimentos

Verification methodologies

Formal Verification (Jasper, FPV)

Functional Simulation (Xcelium, UVM)

Debugging skills

Strong communication skills

Formação académica

Bachelor's degree in Electrical Engineering, Electronics, Computer Engineering

Ferramentas

Tcl

Python

Perl

Shell scripting

Descrição da oferta de emprego

Job Responsibilities

• Help customers enhance their verification productivity by debugging complex issues and providing innovative solutions using Formal Verification and Functional Simulation tools and flows.
• Actively support customers on Formal Verification (Jasper and related applications) and Functional Simulation (Xcelium-based flows), including hybrid formal + simulation methodologies.
• Work closely with R&D and Product Engineering to identify, prioritize, and drive product improvements based on customer usage, formal analysis, and simulation feedback.
• Establish strong technical credibility and rapport with customers, becoming the trusted technical advisor and go‑to expert for formal and simulation verification topics.
• Assume a technical leadership role within the team, guiding verification strategies, methodologies, and best practices.
• Ensure high‑quality customer support across evaluations, deployments, and production engagements.
• Drive the creation of high‑impact technical content, including knowledge articles, tool adoption kits, best‑practice documents, and verification methodology guidelines to increase customer self‑service.
• Collaborate closely with worldwide AE teams, actively mentoring, coaching, and developing engineers, while promoting global knowledge sharing.
• Partner with Sales and TFO teams to define and execute account support and technical engagement strategies.
• Deliver out‑of‑the‑box technical solutions to customer challenges using tool capabilities, methodology optimization, automation, and scripting.
• Deploy and promote ML‐ and AI‐assisted verification solutions to improve productivity, coverage, and debug efficiency.
• Analyze complex customer problems, isolate root causes, and ensure high‑quality CCRs are created for efficient R&D resolution.

Minimum Requirements

• Complete Bachelor’s degree in Electrical Engineering, Electronics, Computer Engineering, or a related field.
• Strong experience with Verification methodologies, with deep expertise in one or more of the following areas:
  • Formal Verification (e.g., Jasper, FPV, CDC, connectivity, low‑power, or other formal apps)
  • Functional Simulation (Xcelium, UVM‑based flows, coverage, regressions)
• Solid understanding of assertion‑based verification, coverage concepts, verification sign‑off criteria, and debug methodologies.
• Experience integrating Formal Verification with Simulation flows to accelerate verification closure and improve coverage.
• Knowledge of scripting and flow automation (e.g., Tcl, Python, Perl, shell) is a strong plus.
• Proven debugging skills, with the ability to identify critical issues and prioritize effectively in complex verification environments.
• Experience leading or mentoring a small to mid‑size team of engineers is a plus.
• Strong communication skills and experience working directly with customers in technically complex engagements.

Additional Job Details

• Employment category: CLT
• Employment term: 40 hours/week
• Work location: Belo Horizonte, Brazil
• Competitive benefits package