Dr. Dominik Steenken

Angestellt, Verification Engineer, IBM Deutschland Research & Development GmbH

Böblingen, Germany

Skills

schnelle Auffassungsgabe
Interesse an Theorie und Praxis gleichermaßen
selbstständiges Arbeiten
Modeling
Software
Programmierung
Java
C/C++
Mathematische Modellierung
Teamfähigkeit
Zuverlässigkeit
Umsetzung
Engineering
Informatik
Python

Timeline

Professional experience for Dominik Steenken

  • Current 9 years and 1 month, since May 2015

    Verification Engineer

    IBM Deutschland Research & Development GmbH

  • 4 years and 9 months, Apr 2010 - Dec 2014

    Wissenschaftlicher Mitarbeiter

    Universität Paderborn
  • 5 months, Nov 2009 - Mar 2010

    Wissenschaftlicher Mitarbeiter

    Universität Paderborn
  • 3 years and 9 months, Oct 2005 - Jun 2009

    Studentische Hilfskraft

    Universität Paderborn

    Leiten von Übungsgruppen, Begleitung von studentischen Softwareprojekten, softwaretechnische Umsetzung von Forschungsergebnissen im Bereich der Mehrzieloptimierung

Educational background for Dominik Steenken

  • 5 years and 2 months, Nov 2009 - Dec 2014

    Informatik

    Universität Paderborn

    Softwareverifikation, Modelchecking, Graphtransformationssysteme, Theoretische Softwaretechnik

  • 7 years and 1 month, Apr 2004 - Apr 2011

    Mathematik

    Universität Paderborn

    Numerische Analysen Dynamischer Systeme Numerische Berechnung von Mehrzieloptimierungsproblemen

  • 6 years and 1 month, Oct 2003 - Oct 2009

    Informatik

    Universität Paderborn

    Formale Methoden des Softwareengineering Routingtechnologien

Languages

  • German

    First language

  • English

    Fluent

Interests

theoretische Aspekte der Softwaretechnik
Verifikation
modellbasierte Entwicklung
Softwarearchitektur
freie Software
Open Source
Computational Dynamics
Optimization
Design Pattern
Formale Verifikation
Formale Spezifikation

Browse over 21 million XING members