Dominic Steinhöfel
Angestellt, Wissenschaftlicher Mitarbeiter, Technische Universität Darmstadt
Abschluss: Dr. rer. nat., Technische Universität Darmstadt
Darmstadt, Deutschland
Werdegang
Berufserfahrung von Dominic Steinhöfel
Bis heute 9 Jahre und 2 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