Job Family: Rail Infrastructure Req ID: 440671 Gemeinsam machen wir den Unterschied Siemens Mobility ist ein eigenstu00e4ndig gefu00fchrtes Unternehmen der Siemens AG und seit u00fcber 160 Jahren ein fu00fchrender Anbieter im Bereich Mobilitu00e4t. Zu unserem Kerngeschu00e4ft gehu00f6ren Schienenfahrzeuge, Bahnautomatisierungs- und Elektrifizierungslu00f6sungen, schlu00fcsselfertige Systeme sowie die dazugehu00f6rigen Serviceleistungen. Wir waren schon immer sehr innovativ, um Reisen schneller, sicherer und komfortabler zu machen. Heute brauchen wir neue Lu00f6sungen fu00fcr neue Herausforderungen wie den Klimawandel und weltweit steigende Bevu00f6lkerungszahlen. Das ist es, was uns antreibt. Deshalb gestalten wir Mobilitu00e4t mit Leidenschaft und sind immer einen Schritt voraus. Durch Digitalisierung machen wir Infrastrukturen intelligent und schaffen Mu00f6glichkeiten, die uns nachhaltig und nahtlos von A nach B bringen. Unsere 39.800 Mitarbeitenden sind Pioniere im Mobilitu00e4tswesen, die dabei helfen, die Welt in Bewegung zu halten. Die Spezifikation des Systems ist die Grundlage fu00fcr unsere Entwicklung. Auf dieser Grundlage werden Tests abgeleitet, wird die Sicherheit des umgebenden Systems nachgewiesen, in dem unser System operiert, wird gepru00fcft, ob unsere Produkteigenschaften fu00fcr eine Ausschreibung geeignet sind, und was wir ggf. anpassen mu00fcssen. Wir wollen pru00fcfen, inwieweit sich ein Umstieg auf ein mehr formales Spezifikationsverfahren lohnt. Dazu wollen wir in einem ersten Schritt die uns nach heutigem Stand von Forschung und Technik zu erwartende Komplexitu00e4t und die Mu00f6glichkeiten und Chancen evaluieren Was tru00e4gst Du bei? Im Rahmen Deiner Arbeit erledigst Du folgende Aufgaben: Suche und begru00fcndete Auswahl einer bestehenden textuellen Spezifikationsmethode (Domain Specific Language oder Framework in einer bewu00e4hrten Programmiersprache). Prototypisch Teilaspekte des Systems Zub222c mit der Auswahl spezifizieren und die Spezifikation anwenden, z.B. zur Testfallgenerierung oder zum Nachweis von Systemeigenschaften. Pru00fcfung der Praktikabilitu00e4t der Spezifikationsmethode fu00fcr den tu00e4glichen Einsatz. Was bringst Du mit? Du studierst in einem Studiengang im Bereich Informatik oder einer u00e4hnlichen 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, u2026). 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 mu00f6chtest, ist dies nach Absprache ebenso mu00f6glich. Was bieten wir Dir? Inklusion & Vielfalt Bei Siemens Mobility setzen wir uns gegen Ungerechtigkeit und Ungleichheit ein. Bei uns findest Du ein Umfeld vor, in dem Du Du selbst sein kannst und dazugehu00f6rst. Purpose Wir sind Pioniere der Mobilitu00e4t. Bei uns tru00e4gst Du in einem Zukunftsmarkt aktiv zu Verkehrswende und Klimaschutz bei, weil unsere Transportlu00f6sungen in aller Welt den CO2-Ausstou00df verringern. Mobiles Arbeiten /Remote Working Bei uns hast Du die Mu00f6glichkeit, hybrid zu arbeiten. Das bedeutet, dass Du zu einem erheblichen Anteil mobil tu00e4tig sein kannst. Dies haben wir durch eine Betriebsvereinbarung offiziell geregelt. Eine u00dcbersicht u00fcber unsere Benefits findest Du hier (https://new.siemens.com/de/de/unternehmen/jobs/benefits-was-wir-bieten.html). Wie trittst Du mit uns in Kontakt? www.siemens.de/mobility wenn Du vor Deiner Bewerbung mehr u00fcber Siemens Mobility erfahren mu00f6chtest.www.siemens.com/de/de/unternehmen/jobs/faq.html wenn Du Informationen rund um das Thema Bewerbung mittels unseres FAQu2019s einholen mu00f6chtest. 49 (9131) 17 5243-0 wenn Du u00fcber unsere Bewerberhotline weitere Fragen zur Stelle klu00e4ren mu00f6chtest.www.siemens.com/mobility-jobs wenn Du mehr Informationen zu Jobs & Karriere bei Siemens erhalten mu00f6chtest. Wir legen Wert auf Chancengleichheit und freuen uns u00fcber Bewerbungen von Menschen mit Behinderung (https://www.siemens.com/de/de/home/unternehmen/jobs/arbeiten-bei-siemens/jobs-ohne-barrieren.html). Ansprechpartner fu00fcr diese Stellenausschreibung ist Frau Julia Greff.