Home
/
Comprehensive
/
Formal Verification Technologist
Formal Verification Technologist-April 2024
Wilsonville
Apr 27, 2025
ABOUT SIEMENS DIGITAL INDUSTRIES SOFTWARE
Siemens Digital Industries Software is driving transformation to enable a digital enterprise where engineering, manufacturing and electronics design meet tomorrow.
10,000+ employees
Software
VIEW COMPANY PROFILE >>
About Formal Verification Technologist

  Job Family: Research & Development

  Req ID: 403567

  Siemens EDA is a global technology leader in Electronic Design Automation software. Our software tools enable companies around the world to develop highly innovative electronic products faster and more cost-effectively. Our customers use our tools to push the boundaries of technology and physics to deliver better products in the increasingly complex world of chip, board, and system design.

  Key Responsibilities:

  This is an R&D position developing static and formal tools for the verification of RTL functionality, supporting the “Questa OneSpin Static&Formal” product line. Join a world-class engineering team designing, developing, modifying, and implementing leading edge tools.

  Work improving formal verification and model checking algorithms for functional verification.

  Develop new products and new features for existing products.

  Apply multi-processing in grid and cloud environments.

  Work directly with customers and application engineers to debug and resolve tool issues.

  Responsibilities and deliverables associated with the role:

  You will be working in an R&D team, developing primarily in C++ & Python.

  You will be developing new features for the Questa OneSpin Formal & Static tool suite, which are highly algorithmic and use a range of technologies.

  You will be supporting the tools, fixing tool issues that are impacting customers.

  You will be analyzing tool performance and quality-of-results.

  Qualifications:

  In this section, please outline exactly what knowledge/skills, education, and experiences are required to be considered for this position.

  Bachelor or Masters degree in computer science or engineering

  5 years relevant work experience

  Some travel may be required.

  Must be excellent C++ developer.

  Must be familiar with SystemVerilog and/or VHDL.

  Experience with formal algorithms, model checking, CDC analysis is a bonus

  Experience with logic synthesis is a bonus

  Experience with ML/AI is a bonus

  US nationals only

  This position will be subject to U.S. export control requirements under the International Traffic in Arms Regulations (ITAR) and/or Export Administration Regulations (EAR). Employment is contingent on either verifying the U.S. Person status or obtaining any necessary export license.

  Siemens Software. Transform the Everyday

  The salary range for this position is $121,400 to $218,500 and this role is eligible to earn incentive compensation. The actual compensation offered is based on the successful candidate’s work location as well as additional factors, including job-related skills, experience, and relevant education/training. 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).

  #LI-EDA

  #LI-HYBRID

  #LI-KM1

  Equal Employment Opportunity Statement

  Siemens is an Equal Opportunity and Affirmative Action Employer encouraging diversity 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 under Federal law from discrimination. To learn more, Click here (https://www.dol.gov/ofccp/regs/compliance/posters/ofccpost.htm) .

  Pay Transparency Non-Discrimination Provision

  Siemens follows Executive Order 11246, including the Pay Transparency Nondiscrimination Provision. To learn more, Click here (https://www.dol.gov/sites/dolgov/files/OFCCP/pdf/pay-transp_%20English_formattedESQA508c.pdf) .

  California Privacy Notice

  California residents have the right to receive additional notices about their personal information. To learn more, click here (https://new.siemens.com/us/en/general/legal/us-internet-privacy-notice-state-rights.html) .

Comments
Welcome to zdrecruit comments! Please keep conversations courteous and on-topic. To fosterproductive and respectful conversations, you may see comments from our Community Managers.
Sign up to post
Sort by
Show More Comments
SIMILAR JOBS
$60/HR | School Psychologist| KENOSHA, WI
*LOCATION: Kenosha, WISCONSIN 53144* (Full-Time| In-person) Work Hours: 40 Estimated Start Date: 1/29/2024 Duration: School 26 WKS Rate: $60/HR Minimum Experience and qualifications: Need to have a D
Maintenance - GALLERYone, DoubleTree by Hilton Fort Lauderdale
The Doubletree Fort Lauderdale Galleria is looking for their next Maintenance Engineer to join their Engineering team! The Doubletree Fort Lauderdale Galleria is located on the intracoastal waterway,
Carpenter Helper
Description Tradesmen International is immediately hiring motivated Carpenter Helpers for projects located in Oceanside, CA . This is a full-time opportunity and the pay rate is based on experience a
Experienced Caregiver
Overview Building Better Together. Bringing passion and purpose to all we do! We have a bold vision to reimagine care. And that's possible because of every individual team member. AccentCare believes
Entry Level Production
This is a Job Description for Entry Level Production in Iuka, Mississippi Summary: Skyline Steel LLC, a division of Nucor, the nation's largest recycler, largest manufacturer of steel and steel produ
EPM Oracle Finance Consultant, Senior Associate
Specialty/Competency: Finance Industry/Sector: Not Applicable Time Type: Full time Travel Requirements: Up to 80% A career in our Enterprise Performance Management practice, within Finance Consulting
Senior Claim Benefit Specialist ( Hybrid-Shift)
Bring your heart to CVS Health. Every one of us at CVS Health shares a single, clear purpose: Bringing our heart to every moment of your health. This purpose guides our commitment to deliver enhanced
RN - Registered Nurse, Saturday Nights
Quick Response Nurses are called on in moments of crisis to go to homes and facilities.  We are the people that show up, hold the hands and help people through the most difficult moments of their liv
Customer Service Technician (Electro-Mechanical)
About This Opportunity The Customer Service Technician acts as a customer liaison and is responsible for promoting and maintaining positive customer relations. The position will resolve problems rela
1st shift machine operator
1st shift machine operator. salem , virginia posted january 19, 2024 job details summary $20.99 - $21 per hour temp to perm high school category production occupations referenceAB_4448943 job details
Copyright 2023-2025 - www.zdrecruit.com All Rights Reserved