25 km
Abschlussarbeit - Auswahl und prototypische Anwendung einer Spezifikationsmethode für ein reaktives eingebettetes System 23.04.2025 Siemens AG Braunschweig
Weitere passende Anzeigen:

Ihre Merkliste/

Mit Klick auf einen Stern in der Trefferliste können Sie sich die Anzeige merken

1

Passende Jobs zu Ihrer Suche ...

... immer aktuell und kostenlos per E-Mail.
Sie können den Suchauftrag jederzeit abbestellen.
Es gilt unsere Datenschutzerklärung. Sie erhalten passende Angebote per E-Mail. Sie können sich jederzeit wieder kostenlos abmelden.

Informationen zur Anzeige:

Abschlussarbeit - Auswahl und prototypische Anwendung einer Spezifikationsmethode für ein reaktives eingebettetes System
Braunschweig
Aktualität: 23.04.2025

Anzeigeninhalt:

23.04.2025, Siemens AG
Braunschweig
Abschlussarbeit - Auswahl und prototypische Anwendung einer Spezifikationsmethode für ein reaktives eingebettetes System
Über uns:
Siemens Mobility ist ein eigenständig geführtes Unternehmen der Siemens AG und seit über 160 Jahren ein führender Anbieter im Bereich Mobilität. Zu unserem Kerngeschäft gehören Schienenfahrzeuge, Bahnautomatisierungs- und Elektrifizierungslösungen, schlüsselfertige Systeme sowie die dazugehörigen Serviceleistungen. Wir waren schon immer sehr innovativ, um Reisen schneller, sicherer und komfortabler zu machen. Heute brauchen wir neue Lösungen für neue Herausforderungen wie den Klimawandel und weltweit steigende Bevölkerungszahlen. Das ist es, was uns antreibt. Deshalb gestalten wir Mobilität mit Leidenschaft und sind immer einen Schritt voraus. Durch Digitalisierung machen wir Infrastrukturen intelligent und schaffen Möglichkeiten, die uns nachhaltig und nahtlos von A nach B bringen. Unsere 39.800 Mitarbeitenden sind Pioniere im Mobilitätswesen, die dabei helfen, die Welt in Bewegung zu halten. Wir sind Pioniere der Mobilität. Bei uns trägst Du in einem Zukunftsmarkt aktiv zu Verkehrswende und Klimaschutz bei, weil unsere Transportlösungen in aller Welt den CO2-Ausstoß verringern.
Aufgaben:
  • Werden Tests abgeleitet,
  • Wird die Sicherheit des umgebenden Systems nachgewiesen, in dem unser System operiert,
  • Wird geprüft, ob unsere Produkteigenschaften für eine Ausschreibung geeignet sind, und was wir ggf. anpassen müssen.
  • Suche und begründete Auswahl einer bestehenden textuellen Spezifikationsmethode (Domain Specific Language oder Framework in einer bewährten Programmiersprache).
  • Prototypisch Teilaspekte des Systems Zub222c mit der Auswahl spezifizieren und die Spezifikation anwenden, z.B. zur Testfallgenerierung oder zum Nachweis von Systemeigenschaften.
  • Prüfung der Praktikabilität der Spezifikationsmethode für den täglichen Einsatz.
Qualifikationen:
  • Du studierst in einem Studiengang im Bereich Informatik oder einer ähnlichen Fachrichtung.
  • Du hast bereits Kenntnisse von Syntax und Semantik / Spezifikationsmethoden.
  • Idealerweise hast Du Kenntnisse mehrerer imperativer Sprachen und Kenntnisse funktionaler Programmierung (z.B. Haskell, OCaml, ...).
  • Kenntnisse von maschinellem Beweisen sind von Vorteil.
  • Du bringst gute Deutsch- und Englischkenntnisse mit.
  • Du kannst die Arbeit auf Deutsch, Englisch oder zweisprachig verfassen. Falls Du vorab ein Pflichtpraktikum absolvieren möchtest, ist dies nach Absprache ebenso möglich.
Wir bieten:
  • Mobiles Arbeiten /Remote Working
  • Bei uns hast Du die Möglichkeit, hybrid zu arbeiten. Das bedeutet, dass Du zu einem erheblichen Anteil mobil tätig sein kannst. Dies haben wir durch eine Betriebsvereinbarung offiziell geregelt.
Unser Kontakt:
Siemens.de/jobs Www.siemens.de/mobility Wenn Du vor Deiner Bewerbung mehr über Siemens Mobility erfahren möchtest. Www.siemens.com/de/de/unternehmen/jobs/faq.html Wenn Du Informationen rund um das Thema Bewerbung mittels unseres FAQ's einholen möchtest. +49 (9131) 17 5243-0 Wenn Du über unsere Bewerberhotline weitere Fragen zur Stelle klären möchtest. Www.siemens.com/mobility-jobs Wenn Du mehr Informationen zu Jobs & Karriere bei Siemens erhalten möchtest. Ansprechpartner für diese Stellenausschreibung ist Frau Julia Greff.
Weitere Informationen:
Wir legen Wert auf Chancengleichheit und freuen uns über Bewerbungen von Menschen mit Behinderung .

Fachrichtung

Art des Angebots

Bundesland

Standorte