Dr. Dominique Gückel

Basic

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

Aachen, Germany

Skills

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

Timeline

Professional experience for Dominique Gückel

  • Current 4 years and 10 months, since Apr 2017

    Technischer Projektleiter + Scrum Master

    DSA Daten- und Systemtechnik GmbH

    Scrum Master ab 08 / 2018

  • 8 months, Aug 2016 - Mar 2017

    Software-Entwickler

    DSA Daten- und Systemtechnik GmbH
  • 1 year and 8 months, Dec 2014 - Jul 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 years and 2 months, Nov 2011 - Dec 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 years and 10 months, Jan 2008 - Oct 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.

Educational background for Dominique Gückel

  • 7 years and 2 months, Jan 2008 - Feb 2015

    Informatik

    RWTH Aachen University

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

  • 7 years and 3 months, Oct 2000 - Dec 2007

    Informatik

    RWTH Aachen University

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

Languages

  • German

    First language

  • English

    Fluent

  • French

    Intermediate

  • Spanish

    Basic

Group memberships

Browse over 20 million XING members