Dominic Steinhöfel
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Dominic Steinhöfel
- Bis heute 10 Jahre und 3 Monate, seit Mai 2015
Wissenschaftlicher Mitarbeiter
Technische Universität Darmstadt
- 9 Jahre und 2 Monate, März 2006 - Apr. 2015
Freiberuflicher Programmierer
heimkinomarkt.de GmbH
Erledige Aufgaben bezogen auf Web-Programmierung, Datenbank- und Serveradministration auf freiberuflicher Basis.
- 5 Monate, Nov. 2014 - März 2015
Studentische Hilfskraft
Technische Universität Darmstadt
Studentische Hilfskraft in der Forschung
- 10 Monate, Jan. 2014 - Okt. 2014
Tutor für Formale Grundlagen der Informatik
Technische Universität Darmstadt
Leitung von Übungssitzungen, Sprechstunden, Korrektur von Hausübungen und Klausuren
Ausbildung von Dominic Steinhöfel
- 5 Jahre und 1 Monat, Mai 2015 - Mai 2020
Informatik
Technische Universität Darmstadt
Programmverifikation, Verifikation von Programmtransformationen, Symbolische Ausführung
- 2 Jahre und 1 Monat, Apr. 2013 - Apr. 2015
Informatik
Technische Universität Darmstadt
Mathematische Logik, Formale Modellierung, Maschinelles Lernen, (Semi-)Automatische Beweissysteme
- 4 Jahre, Apr. 2009 - März 2013
Informatik
Technische Universität Darmstadt
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Französisch
Grundlagen
Spanisch
Grundlagen
XING – Das Jobs-Netzwerk
Über eine Million Jobs
Entdecke mit XING genau den Job, der wirklich zu Dir passt.
Persönliche Job-Angebote
Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.
22 Mio. Mitglieder
Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.
Kostenlos profitieren
Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.