Back

Formal Verification Technologist

Job Description

Siemens PLM Software helps companies of all sizes around the world to transform their business and develop innovative products and services. Our customers are better equipped to respond successfully to the challenges of digitalization. Our solutions optimise their processes from planning and development through manufacturing and lifecycle support to realise innovation

Help our customers change their business with our world-leading technology!

We are actively recruiting for an upbeat Formal Verification Technologist to join our team in Sweden on a permanent basis.

Join a world-class engineering team designing, developing, modifying, and implementing cutting edge tools. Must be proficient with C++.  Experience with formal methods and RTL design (Verilog or VHDL) is preferred.  You will be responsible for the research and development of formal methods and their efficient implementation for the verification of RTL functionality, supporting the Questa Formal product line.

What does the ideal candidate look like?

  • Bachelor's degree in computer science or electrical engineering
  • Ideally, the candidate would also have a master's degree in computer science or electrical engineering
  • Have strong C++ coding ability
  • Have excellent software development skills
  • Ideally, the candidate’s research interests/experience lie in an area related to formal methods
  • Be a good problem solver and analytical.
We are Siemens

A collection of over 377,000 minds building the future, one day at a time in over 200 countries. We're dedicated to equality, and we encourage applications that reflect the diversity of the communities we work in. All employment decisions at Siemens are based on qualifications, merit and business need. Bring your curiosity and creativity and help us shape tomorrow!

We offer a comprehensive reward package which includes a competitive basic salary, bonus scheme, generous holiday allowance, pension, private healthcare and actively support working from home.

Siemens Software. Where today meets tomorrow
#LI-GE1
#LI-PLM 


Organization: Digital Industries

Company: Mentor Graphics (Scandinavia) AB

Experience Level: Experienced Professional

Job Type: Full-time

Can't find what you are looking for?

Let's stay connected

Can't find what you are looking for?