Senior Applications Engineer

Employer: Siemens Industry Software Inc.

Job Title: Senior Applications Engineer [MULTIPLE POSITIONS]

Job Location: Austin, TX

Job Type: Full Time

Rate of Pay: The salary range for this position in Austin, TX is $178,464.00-204,000.00 per year and this role may be eligible to earn incentive compensation. Siemens offers a variety of health and wellness benefits to employees. Details regarding our benefits can be found here: www.benefitsquickstart.com. In addition, this position is eligible for time off in accordance with Company policies, including paid sick leave, paid parental leave, PTO (for non-exempt employees) or non-accrued flexible vacation (for exempt employees).

Duties: Drive and grow formal verification business across business accounts. Work with the ATM (Account Technology Manager) and AMS (Account Managers) to drive the adoption of formal products and apps in customer’s verification flow. Work closely with account teams to uncover and qualify formal verification engagement opportunities including constructing and driving top-down and bottom-up plans. Develop strategy for driving formal business. Provide formal verification and hands-on experience. The role involves designing and executing a customer adoption and deployment process for Siemens Questa formal verification solutions within semiconductor and system organizations. Working with Account Managers (AMs) and Account Technology Managers (ATMs), this role evaluates customer verification challenges, develops technical engagement plans, conducts product evaluations, and implements formal verification methodologies into customers' existing design and verification flows. The process includes opportunity assessment, customer presentations and demonstrations, technical deployment, training, adoption tracking, and strategic account planning. The equipment used includes Linux- and Windows-based computer workstations and laptops, secure remote access tools, video conferencing platforms, and issue-tracking systems such as Confluence JIRA. The system consists of the Siemens Questa formal verification software suite integrated into customer environments, including RTL design flows, Makefile-based build systems, Python scripting frameworks, and regression testing infrastructures operating on-premise or cloud computing resources. The role does not design end-user semiconductor products directly; rather, enables deployment of formal verification solutions and workflows that enable customers to verify complex digital designs such as microprocessors, CPUs, GPUs, system-on-chip (SoC) devices, and other integrated circuits, which improves verification coverage, identifies design defects earlier, and accelerates customer product development cycles.

Requirements: Employer will accept a Bachelor’s degree in Electrical Engineering, Computer Science, Computer Engineering, or related field and 60 months of experience in the job offered or in a Applications Engineer-related occupation. Alternatively, Employer will accept a Master’s degree in Electrical Engineering, Computer Science, Computer Engineering, or related field and 36 months of experience in the job offered or in a Applications Engineer-related occupation.

Position requires experience in the following:

1. Utilizing RTL design concepts including clocking, resets, state machines, FIFOs, datapaths, and arbiters.

2. Writing and debugging SystemVerilog assertions, assumptions and cover properties

3. Working with Formal Verification software such as Synopsys VC Formal or Cadence JasperGold

4. Working with formal techniques including debugging counter-examples and creating cut-points.

20% domestic travel required. [On-site-role]

Referral Program: Incentives offered through the Company’s Employee Referral Program are applicable to this position.

CONTACT : Apply within this posting.

#LI-DNI

Equal Employment Opportunity Statement

Siemens is an Equal Opportunity Employer encouraging inclusion in the workplace. All qualified applicants will receive consideration for employment without regard to their race, color, creed, religion, national origin, citizenship status, ancestry, sex, age, physical or mental disability unrelated to ability, marital status, family responsibilities, pregnancy, genetic information, sexual orientation, gender expression, gender identity, transgender, sex stereotyping, order of protection status, protected veteran or military status, or an unfavorable discharge from military service, and other categories protected by federal, state or local law.

EEO is the Law

Applicants and employees are protected from discrimination on the basis of race, color, religion, sex, national origin, or any characteristic protected by Federal or other applicable law.

Reasonable Accommodations

If you require a reasonable accommodation in completing a job application, interviewing, completing any pre-employment testing, or otherwise participating in the employee selection process, please fill out the accommodations form by clicking on this link Accommodation

for disability form. If you’re unable to complete the form, you can reach out to our AskHR team for support at 1-866-743-6367. Please note our AskHR representatives do not have visibility of application or interview status.

Pay Transparency

Siemens follows Pay Transparency laws.

Application Deadline

This role will be posted for a minimum of five (5) days from the original posting date. The posting timeline may change based on applicant volume to ensure we attract and consider a strong and representative candidate pool.

California Privacy Notice

California residents have the right to receive additional notices about their

personal information. To learn more, click here.

Qualified applications with arrest or conviction records will be considered for

employment in accordance with applicable local and state laws.