Dr. Dominique Gückel

Angestellt, Technischer Projektleiter + Scrum Master, DSA Daten- und Systemtechnik GmbH

Aachen, Deutschland

Fähigkeiten und Kenntnisse

Formale Methoden
Formale Verifikation
Statische Analyse
Static Analysis
Model Checking
Eingebettete Systeme
Embedded Software
Java Programmierung
Software-Qualitätssicherung
C Programming
Assembler-Programmierung
Agile Methods
Scrum
Echtzeit
Verifikation Eingebetteter Software
Compilerbau
Mikrocontroller
SPS
Test-Automatisierung
Automated Software Testing
Parallelprogrammierung
Hardware und Rechnerarchitektur
Datenbanksysteme
Datenauswertung
Kryptographie
Softwarearchitektur
Zulieferer-Management
C/C++
Linux
Embedded Linux
Python-Programmierung
Docker
Continuous Integration
Puppet
Scrum Master
Java EE

Werdegang

Berufserfahrung von Dominique Gückel

  • Bis heute 7 Jahre und 2 Monate, seit Apr. 2017

    Technischer Projektleiter + Scrum Master

    DSA Daten- und Systemtechnik GmbH

    Scrum Master ab 08 / 2018

  • 8 Monate, Aug. 2016 - März 2017

    Software-Entwickler

    DSA Daten- und Systemtechnik GmbH
  • 1 Jahr und 8 Monate, Dez. 2014 - Juli 2016

    Manager On-Board-Units

    IVU Traffic Technologies AG

    Kommunikation mit Hardware-Zulieferern. Ansprechpartner der internen Bereiche bei Hardware-Themen (u.a. Bid Management und Projektbereiche) Datenanalyse der im Einsatz befindlichen Bordrechnern. Laufbahnstufe basierend auf Tätigkeiten des Jahres 2014 in der Software-Entwicklung: Senior Software-Ingenieur

  • 3 Jahre und 2 Monate, Nov. 2011 - Dez. 2014

    Systemingenieur

    IVU Traffic Technologies AG

    Software-Entwicklung im Java und Java EE-Umfeld. Anbindung von Hardware an Java-basierte Systeme. Kryptographie. Verantwortlicher für den Build-Prozeß und SVN-Admin für den Standort Aachen. Nebenher weiterhin Doktorand am Lehrstuhl Informatik 11, RWTH Aachen.

  • 3 Jahre und 10 Monate, Jan. 2008 - Okt. 2011

    Promotionsstipendiat / Wissenschaftlicher Mitarbeiter

    Lehrstuhl Informatik 11 (Software für eingebettete Systeme), RWTH Aachen

    Promotionsstudium als Stipendiat im DFG-Graduiertenkolleg 1298 "Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)" von Anfang 2008 bis Ende 2010. Wissenschaftlicher Mitarbeiter ab Januar 2011. Forschung im Bereich der formalen Verifikation eingebetteter Software, mit Schwerpunkt Model-Checking von Mikrocontroller-Code.

Ausbildung von Dominique Gückel

  • 7 Jahre und 2 Monate, Jan. 2008 - Feb. 2015

    Informatik

    RWTH Aachen University

    Dissertationsthema: Synthesis of State Space Generators for Model Checking Microcontroller Code

  • 7 Jahre und 3 Monate, Okt. 2000 - Dez. 2007

    Informatik

    RWTH Aachen University

    Vertiefungsgebiet: Software für eingebettete Systeme. Weitere Schwerpunkte im Bereich Compilerbau, Compileroptimierung, Datenbanken, Betriebssysteme, Model-Checking und Statische Analyse.

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

  • Französisch

    Gut

  • Spanisch

    Grundlagen

  • Latein Niveau Latinum

    -

21 Mio. XING Mitglieder, von A bis Z