Skip to main contentA logo with &quat;the muse&quat; in dark blue text.
Siemens Digital Industries Software

Formal Verification & Software Engineer

Grenoble, France

SiemensDigital Industries Software - Transform the everyday.

Let'smake the difference together!

Siemens Digital Industries (DI) is aninnovation leader in automation and digitalization. Closely, collaborating withpartners and customers, we care about the digital transformation in the processand discrete industries. With our Digital Enterprise portfolio, we provide andencourage companies of all sizes with an end-to-end set of products, solutionsand services to integrate and digitalize the entire value chain. Meaningfuloptimization for the specific needs of each industry, our outstanding portfoliosupports customers to achieve greater efficiency and flexibility. We areconstantly adding innovations to its portfolio to integrate groundbreakingfuture technologies. We have our global headquarters in Nuremberg, Germany, andhave around 75,000 employees internationally.

Want more jobs like this?

Get Software Engineering jobs in Grenoble, France delivered to your inbox every week.

By signing up, you agree to our Terms of Service & Privacy Policy.


We offer arole with responsibility, independence and the possibility to contributeproactive. We foster a teamwork culture with room for individual development

Pleasevisit https://siemensneo.com/disw/

GeneralRequirements

Design,develop, modify, and implement software programming for products (both internaland external) with focus on surpassing customer expectations, on achieving highquality and on-time delivery. Responsible for ensuring the overall functionalquality of the released product on all required platforms and mechanism.Ability to understand complex products, solutions, and problems. Creates,documents, and executes software designs which may involve significantre-architecture of important systems, defining and coordinating implementationof wide-reaching impacts. Acts as Technical lead of major projects within onearea of a product. Frequently consults with customers in regard to futureupgrades and products. Influences the technical direction for one area of aproduct. Promotes innovation through the ability to introduce newtechnology/knowledge into at least one area of a product and to our people.Provides high-level technical expertise, including performing in-depth andcomplex software systems programming and analysis. Provide problem resolutionand technical leadership for the group. Possesses broad knowledge of internaloperating systems, applications implications and customer areas. Technical Leadin guiding junior engineers. Works without supervision on highly complexprojects with complete latitude for independent judgment and technicalexpertise. Extensive knowledge of the field.

PositionOverview

Thecandidate will be in charge of research and development of software,algorithms, and techniques for formal verification of hardware, software andsafety critical systems, contributing to Calypto SLEC formal verificationproduct line. As a generalist, for a formal verification product line, thecandidate will have a broad charter of contributing to various aspects of thetool flow, to take formal verification from research to broad usage.

Thecandidate will report to the lead of the SLEC US team, in Calypto SystemsDivision in Siemens EDA. The division is responsible for industry leading toolsfor formal verification, high level synthesis, RTL power analysis andoptimizations, and FPGA and ASIC synthesis.

Responsibilities

Thissoftware development position entails contributions to different areas of theSLEC product, graphical user interfaces, language frontends for C++, SystemC,and RTL, data flow analysis, netlist database and optimizations, solverorchestration and benchmarking, to debug flows utilizing industry standardwaveform and testbench formats, and integration with third party tools forwaveforms and simulation.

Thecandidate will also interact with other product groups, field engineers, andcustomers to identify and develop unique formal verification solutionsrequirements that arise, such as C++ high level synthesis, CPU/FPU formalverification, RTL power optimizations, etc.

Typicalduties in this role involve:

  • Developing specification forsoftware from often incomplete and
  • ambiguous requirements
  • Software development, testingand code quality best practices.
  • Benchmarking
  • Debugging of software, eitherin house, or in customer environments
  • Developing solutions andmethodologies for unique customer problems
  • Communicating with peers,other teams, and customers

RequiredKnowledge/Skills, Education, and Experience

  • The candidate will possesseither a Master's degree with 5+ years of experience, or a Ph.D. with 2+ yearsof experience in computer science, electrical engineering or related fields.
  • The candidate should possessstrong skills in algorithms and data structures, at least one modernprogramming language, with C++ preferred, scripting languages, program/dataflow analysis, computer arithmetic, etc.
  • The position may involveoccasional travel for internal meetings, as the team is geographically diverse.

Knowledgeor experience in the following is a plus.

  • Understanding of formalverification of hardware/software
  • Mathematical/analyticalabilities
  • Compilers
  • High-level/behavioralsynthesis
  • Hardware design
  • RTL simulation tools

Workingat Siemens Software

Whyus?

Working at Siemens Software meansflexibility - Choosing between working at home and the office at other times isthe norm here. We offer great benefits and rewards, as you'd expect from aworld leader in industrial software.

We are an equal opportunity employerand value diversity at our company. We do not discriminate on the basis ofrace, religion, color, national origin, sex, gender, gender expression, sexualorientation, age, marital status, veteran status, or disability status.

Siemens Industry Software is an equalopportunities employer and does not discriminate unlawfully on the grounds ofage, disability, gender assignment, marriage, and civil partnership, pregnancyand maternity, race, religion or belief, sex, sexual orientation, or tradeunion membership.

Siemens.Making real what matters

If youwant to make a difference - make it with us!

#LI-EDA

#LI-DS1

#LI-Hybrid

Client-provided location(s): Grenoble, France
Job ID: Siemens_Digital-412924-en-1
Employment Type: Other

Perks and Benefits

  • Health and Wellness

    • Health Insurance
    • Health Reimbursement Account
    • Dental Insurance
    • Vision Insurance
    • Life Insurance
    • Short-Term Disability
    • Long-Term Disability
    • FSA
    • FSA With Employer Contribution
    • HSA
    • HSA With Employer Contribution
    • Fitness Subsidies
    • On-Site Gym
    • Pet Insurance
    • Mental Health Benefits
    • Virtual Fitness Classes
  • Parental Benefits

    • Birth Parent or Maternity Leave
    • Non-Birth Parent or Paternity Leave
    • Family Support Resources
    • On-site/Nearby Childcare
    • Adoption Leave
  • Work Flexibility

    • Flexible Work Hours
    • Remote Work Opportunities
    • Hybrid Work Opportunities
    • Work-From-Home Stipend
  • Office Life and Perks

    • Commuter Benefits Program
    • Casual Dress
    • Happy Hours
    • Snacks
    • Some Meals Provided
    • Company Outings
    • On-Site Cafeteria
    • Holiday Events
  • Vacation and Time Off

    • Paid Vacation
    • Unlimited Paid Time Off
    • Paid Holidays
    • Personal/Sick Days
    • Sabbatical
    • Leave of Absence
    • Volunteer Time Off
  • Financial and Retirement

    • 401(K)
    • 401(K) With Company Matching
    • Pension
    • Company Equity
    • Stock Purchase Program
    • Performance Bonus
    • Relocation Assistance
    • Financial Counseling
    • Profit Sharing
  • Professional Development

    • Tuition Reimbursement
    • Learning and Development Stipend
    • Promote From Within
    • Mentor Program
    • Shadowing Opportunities
    • Access to Online Courses
    • Lunch and Learns
    • Internship Program
    • Work Visa Sponsorship
    • Leadership Training Program
    • Associate or Rotational Training Program