Senior Applications Engineer
Core
Drive and grow formal verification business by enabling deployment of Siemens Questa formal verification solutions within semiconductor and system organizations.
Role type
Senior IC applications engineer (formal verification)
Builds
Customer adoption and deployment of formal verification workflows for microprocessors, CPUs, GPUs, and SoCs
Domain
Semiconductor / Digital Design / Formal Verification
Required skills
RTL design concepts, SystemVerilog assertions, formal verification software, formal techniques, customer engagement, technical deployment, strategic account planning
Preferred skills
Linux/Windows workstations, Python scripting, regression testing infrastructures
Technologies
Siemens Questa, Synopsys VC Formal, Cadence JasperGold, JIRA, Confluence
Responsibilities
Drive adoption of formal products in customer verification flows, develop strategy for formal business, conduct product evaluations, implement formal verification methodologies, perform opportunity assessment and presentations, execute technical deployment and training
Seniority
Senior, hands-on IC
