Dr. Dominik Steenken
Angestellt, Verification Engineer, IBM Deutschland Research & Development GmbH
Böblingen, Deutschland
Werdegang
Berufserfahrung von Dominik Steenken
Bis heute 9 Jahre und 1 Monat, seit Mai 2015
Verification Engineer
IBM Deutschland Research & Development GmbH
Leiten von Übungsgruppen, Begleitung von studentischen Softwareprojekten, softwaretechnische Umsetzung von Forschungsergebnissen im Bereich der Mehrzieloptimierung
Ausbildung von Dominik Steenken
5 Jahre und 2 Monate, Nov. 2009 - Dez. 2014
Informatik
Universität Paderborn
Softwareverifikation, Modelchecking, Graphtransformationssysteme, Theoretische Softwaretechnik
7 Jahre und 1 Monat, Apr. 2004 - Apr. 2011
Mathematik
Universität Paderborn
Numerische Analysen Dynamischer Systeme Numerische Berechnung von Mehrzieloptimierungsproblemen
6 Jahre und 1 Monat, Okt. 2003 - Okt. 2009
Informatik
Universität Paderborn
Formale Methoden des Softwareengineering Routingtechnologien
Sprachen
Deutsch
Muttersprache
Englisch
Fließend