siemens-personaldienstleistungen-gmbh

Siemens Personaldienstleistungen GmbH

Software Engineer (m/w/d) Safety & Verification

8054 Graz, Job-ID: brckivzg, #DigitalIndustry #FormalMethods #C#Programming



Bei SIEMENS Personaldienstleistungen (SPDL), einer Tochtergesellschaft der Siemens AG Österreich, erwartet Sie ein spannendes Arbeitsumfeld mit über 25 Jahren Erfahrung. Wir bieten anspruchsvolle Aufgaben innerhalb der vielfältigen Siemens-Gruppe sowie bei unseren namhaften Kund:innen in ganz Österreich. Wir glauben an faire Chancen, kulturelle Vielfalt und gemeinsame Erfolge. 

Wir suchen ab sofort für die Überlassung an unseren Kunden in Graz, die Siemens AG Österreich, eine:n Software Engineer (m/w/d) mit Schwerpunkt Formal Methods. (Vollzeit für 38,5 h/Woche)
Du begeisterst dich für komplexe Fragestellungen, denkst analytisch und möchtest an innovativen Softwarelösungen für sicherheitskritische Anwendungen arbeiten? Dann werde Teil dieses agilen Entwicklungsteams! 
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 
* Sehr gute Deutsch- und gute 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 dir interessante berufliche Perspektiven und Weiterbildungsoptionen mit vielseitigen Möglichkeiten, dein Potenzial optimal zum Einsatz zu bringen.
Wie bewerbe ich mich? 
Wenn du Interesse an dieser herausfordernden und abwechslungsreichen Position hast, dann freuen wir uns auf deine aussagekräftige Online Bewerbung!

Kontakt: Elisabeth Trummer
Tel.: 0664 8855 9005
Ihre Vorteile 
Benefits Gesundheit Handy Homeoffice Kantine Parkplatz Weiterbildung 
Benefits Gesundheit Handy Homeoffice Kantine Parkplatz Weiterbildung 
* Benefits 
* Gesundheit 
* Handy 
* Homeoffice 
* Kantine 
* Parkplatz 
* Weiterbildung JETZT BEWERBEN

Graz

Englisch

software-engineer-m-w-d-safety-verification

Software Engineer (m/w/d) Safety & Verification

Jetzt bewerben: Software Engineer (m/w/d) Safety & Verification in Graz bei Siemens Personaldienstleistungen GmbH. Finde deinen Job auf willhaben jobs!

spar jobs

asfinag jobs

dm jobs

takeda jobs

strabag jobs

maschinenring jobs

wien energie jobs

samariterbund jobs

fronius jobs

evn jobs

uni jobs

kages jobs

ordinationsassistentin jobs

jobs wien teilzeit

ages jobs

un jobs

generali jobs

konstrukteur jobs

jobs pinkafeld

grawe jobs

personalverrechner jobs salzburg

jobs plattformen

jobs im krankenhaus ohne ausbildung wien

agrar jobs

frutura jobs

big jobs

elisabethinen klagenfurt jobs

pfizer jobs wien

donauspital jobs

tischler jobs wien

ams jobs

stelleninserat

Beliebte Jobsuchen

Vertrieb / Handel in Steiermark

Handwerk / Gewerbliche Berufe in Steiermark

Produktion / Fertigung in Steiermark

Einkauf / Logistik / Transport in Steiermark

Assistenz / Sekretariat / Sachbearbeitung in Steiermark

Technische Berufe / Engineering / Architektur in Steiermark

Alle Berufsfelder in Steiermark

Weitere Berufsfelder in Steiermark

IT Security in Steiermark und IT / EDV

Web-Entwicklung in Steiermark und IT / EDV

Mobile Entwicklung in Steiermark und IT / EDV

IT-Helpdesk / Training in Steiermark und IT / EDV

Datenbanken / Data Warehouse / BI in Steiermark und IT / EDV

IT-Beratung in Steiermark und IT / EDV

Alle Berufe in Steiermark und IT / EDV

Berufe

Gruppen-/Teamleitung

Lehre

Leitung/Management

Mitarbeiter:in

Praktikum

Projektmanagement

Traineeship

Positionen

Raaba in Steiermark und IT / EDV

Graz-Umgebung in Steiermark und IT / EDV

Bruck-Mürzzuschlag in Steiermark und IT / EDV

Südoststeiermark in Steiermark und IT / EDV

Voitsberg in Steiermark und IT / EDV

Liezen in Steiermark und IT / EDV

Alle in Steiermark und IT / EDV

Bezirke

Software Engineer (m/w/d) Safety & Verification in Graz | willhaben Jobs

Ad detail viewed

oewa

xiti_SCV

oewaMweb

Software Engineer (m/w/d) Safety & Verification

Details zum Job