Location: MTU Friedrichshafen GmbH, Friedrichshafen

Abschlussarbeit: Formale funktionale Nachweise an realen Softwaremodulen mit Frama-C

Start: 01.03.2020

Your tasks and duties:

  • Vollständige Nachweisführung der Übereinstimmung von Spezifikationen und Softwarequelltexten
  • Untersuchung der Umsetzung textlicher Spezifikationen in formale Sprache
  • Durchführung von Nachweisen
  • Beurteilung der praktischen Nutzbarkeit

Rolls-Royce Power Systems is one of three divisions of the Rolls-Royce Group and offers its customers propulsion and power solutions for the future. Our aim is to drive decarbonisation forward and to provide answers to the growing challenges of mobility and energy system transformation. In addition to advanced diesel engines, we focus on electrified drive systems, alternative fuels and energy sources such as gas. With the help of digitalization, we make our processes better and simpler and offer comprehensive service solutions for our customers. Our headquarter is located in Friedrichshafen, Germany. We employ over 10,000 people worldwide.

Your qualifications should be:

  • Eingeschriebener Student (m/w/d) der Fachrichtung Informatik oder vergleichbarem Studiengang
  • Kenntnisse in der Programmiersprache C wünschenswert
  • Selbstständige analytische Arbeitsweise und Teamfähigkeit

 

Dauer: 6 Monate

Please send us your informative documents via our online job board. The advertisement applies to the location in Friedrichshafen.

Our benefits:

 

Your contact with us:

Selina Becker
earlycareer@rrpowersystems.com

Location: MTU Friedrichshafen GmbH, Friedrichshafen

Abschlussarbeit: Formale funktionale Nachweise an realen Softwaremodulen mit Frama-C

Start: 01.03.2020

Your tasks and duties:

  • Vollständige Nachweisführung der Übereinstimmung von Spezifikationen und Softwarequelltexten
  • Untersuchung der Umsetzung textlicher Spezifikationen in formale Sprache
  • Durchführung von Nachweisen
  • Beurteilung der praktischen Nutzbarkeit

Your qualifications should be:

  • Eingeschriebener Student (m/w/d) der Fachrichtung Informatik oder vergleichbarem Studiengang
  • Kenntnisse in der Programmiersprache C wünschenswert
  • Selbstständige analytische Arbeitsweise und Teamfähigkeit

 

Dauer: 6 Monate

Rolls-Royce Power Systems is one of three divisions of the Rolls-Royce Group and offers its customers propulsion and power solutions for the future.
Our aim is to drive decarbonisation forward and to provide answers to the growing challenges of mobility and energy system transformation. In addition to advanced diesel engines, we focus on electrified drive systems, alternative fuels and energy sources such as gas.
With the help of digitalization, we make our processes better and simpler and offer comprehensive service solutions for our customers.
Our headquarter is located in Friedrichshafen, Germany. We employ over 10,000 people worldwide.

Our benefits:

company canteens
attractive remuneration
gym
company health insurance fund
occupational medical care
flexible working hours

Discover the opportunities that Rolls-Royce Power Systems offers you as an employer and find out about the benefits in our employee handbook.

 

Please send us your informative documents via our online job board. The advertisement applies to the location in Friedrichshafen.

Your contact with us:

Selina Becker
earlycareer@rrpowersystems.com

 

Rolls-Royce Power Systems Brands: