Arbeitgeber: Siemens Personaldienstleistungen GmbH
Deine Aufgaben

 * Du entwickelst die interne Verifikationssprache und Toolchain kontinuierlich weiter und hilfst dabei, sicherheitskritische Algorithmen formal zu verifizieren, anstatt sie ausschließlich zu testen (Python, Z3 SMT Solver)
 * Du konzipierst und implementierst formale Spezifikationen für industrielle Safety-Anwendungen und arbeitest mit Prädikaten, booleschen Ausdrücken sowie Vor- und Nachbedingungen
 * Du bringst deine Ideen aktiv in Forschungs- und Entwicklungsprojekte ein und gestaltest innovative Lösungen an der Schnittstelle von formalen Methoden und KI-gestütztem Engineering 

Deine Qualifikation

 * Abgeschlossene höhere, technische Ausbildung (TU/FH) im Bereich Informatik, Software Engineering oder einer vergleichbaren Fachrichtung
 * Fundierte Programmierkenntnisse, idealerweise in Python und/oder C#
 * Interesse an boolescher Algebra, Prädikatenlogik und formalen Spezifikationen
 * Erfahrung mit formalen Methoden oder SMT-Solvern von Vorteil
 * Gute Deutsch- und Englischkenntnisse

Deine Perspektive

Je nach konkreter Qualifikation und Berufserfahrung ist ein Bruttomonatsgehalt von mindestens EUR 3.900,- vorgesehen (dieses übersteigt jedenfalls das kollektivvertragliche Mindestgehalt). Die letztgültige Gehaltsvereinbarung treffen wir im Rahmen eines persönlichen Gespräches.

Als Teil eines international agierenden Großkonzerns bieten wir Ihnen interessante berufliche Perspektiven und Weiterbildungsoptionen mit vielseitigen Möglichkeiten, Ihr Potenzial optimal zum Einsatz zu bringen.

Wie bewerbe ich mich?
Wenn Sie Interesse an dieser herausfordernden und abwechslungsreichen Position haben, dann freuen wir uns auf Ihre aussagekräftige Online Bewerbung!
 
Link zur Online Bewerbung:

https://spdl.onlyfy.jobs/application/de/apply/99usiohgb7q4vj19v31plqddcnh0ra

Dienstgeber: Siemens Personaldienstleistungen GmbH, Straßgangerstraße 315, 8054 Graz, https://www.siemens.at/spdlDeine Anzeige wurde über die Schnittstelle der Bundesagentur für Arbeit (BA) für unsere Job- und Projektbörse portal.oproma.de abgerufen.
Die Veröffentlichung erfolgt auf Grundlage des Zweiten Open Data Gesetzes (§ 12a E-Government-Gesetz) und des Datennutzungsgesetzes (DNG), welches die Weiterverwendung öffentlicher Daten erlaubt, um deren Zugänglichkeit und Nutzung für die Allgemeinheit zu fördern.
Die Integration deiner Anzeige basiert auf den Vorgaben des Zweiten Open Data Gesetzes und der EU-Richtlinie über offene Daten und die Weiterverwendung von Informationen des öffentlichen Sektors (Richtlinie 2019/1024). Diese Gesetze ermöglichen es, öffentlich zugängliche Daten der Bundesagentur für Arbeit weiterzuverwenden, um die Transparenz zu erhöhen und die Vermittlung von Stellenangeboten zu fördern.
Mit einer kostenlosen Registrierung bei OPROMA kannst du deine Anzeigen ganz einfach selbst verwalten und viele weitere Vorteile nutzen:
Solltest du Fragen zur Verwendung deiner Anzeige haben oder diese selbst verwalten möchtest, kontaktiere uns bitte.
Falls du nicht möchtest, dass deine Anzeige auf portal.oproma.de angezeigt wird, kannst du uns ebenfalls kontaktieren, und wir werden sie umgehend entfernen.
Vielen Dank, dass du Teil unseres Netzwerks bist und dazu beiträgst, Jobs für eine breitere Zielgruppe zugänglich zu machen!
Zur Finanzierung unseres Portals und zur Sicherstellung eines dauerhaft kostenfreien Zugangs zeigen wir auf OPROMA Werbeanzeigen an. Diese Werbeanzeigen stehen in keinem Zusammenhang mit den von der Bundesagentur für Arbeit bereitgestellten Inhalten und sind klar erkennbar als solche gekennzeichnet.