Application Engineer Manager – Formal Verification and Functional Simulation

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 pr...