Michael Gerke

Angestellt, Wissenschaftlicher Stab, Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Saarbrücken, Germany

Fähigkeiten und Kenntnisse

FlexRay
Formale Methoden
Verifikation
Modellierung
Embedded Systems

Werdegang

Berufserfahrung von Michael Gerke

  • Current 9 years and 1 month, since May 2017

    Wissenschaftlicher Stab

    Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  • 6 years and 1 month, Dec 2010 - Dec 2016

    Wissenschaftlicher Mitarbeiter

    Universität des Saarlandes

    SFB/TR 14: Automatic Verification and Analysis of Complex Systems, Kooperation mit der DLR Abteilung Unbemannte Luftfahrzeuge, Entwicklung von Datenstrukturen und Algorithmen für Reachability Checking, Modellierung und Analyse insbesondere des FlexRay Physical Layer Protocols, Tutorentätigkeit, Assistenz, Lehre, Betreuung von Studenten

  • 1 year and 8 months, May 2009 - Dec 2010

    Wissenschaftliche Hilfskraft

    Universität des Saarlandes

    Entwicklung von Datenstrukturen und Algorithmen für Reachability Checking, Modellierung und Analyse des FlexRay Physical Layer Protocols, Tutorentätigkeit, Assistenz, Lehre, Betreuung von Studenten

  • 6 months, Oct 2008 - Mar 2009

    Studentische Hilfskraft

    Universität des Saarlandes

    Entwicklung von Datenstrukturen und Algorithmen für Reachability Checking, Modellierung und Analyse des FlexRay Physical Layer Protocols, Tutorentätigkeit, Lehre, Betreuung von Studenten

  • 6 months, Jan 2008 - Jun 2008

    Hochschulpraktikant

    T-Systems Enterprise Services GmbH

    Migration von Daten und Einstellungen zwischen zwei SAP Softwarelösungen, Programmierung mit Visual Basic in Microsoft Office Excel, Aufsetzen eines Wikis

  • 4 months, Jun 2002 - Sep 2002

    Praktikant

    SyynX WebSolutions GmbH

    Programmierung mit Python, Analyse automatisch erstellter HTML Dateien

  • 1 month, Feb 1998 - Feb 1998

    Praktikant

    netfab GmbH

    Datenerfassung und Pflege

Ausbildung von Michael Gerke

  • 9 years and 1 month, Dec 2010 - Dec 2019

    Informatik

    Universität des Saarlandes

    FlexRay, Formale Verifikation, Modellierung, Timed Automata, Model Checking, Eingebette Systeme

  • 3 years and 8 months, Apr 2007 - Nov 2010

    Informatik

    Universität des Saarlandes

    Formale Verifikation, FlexRay, Formale Hardwarebeschreibung, Eingebettete Systeme

  • 4 years and 6 months, Oct 2002 - Mar 2007

    Informatik

    Universität des Saarlandes

    Formales Hardware Design, FlexRay; Nebenfach: Computerlinguistik

Sprachen

  • German

    C2 (Verhandlungssicher / Muttersprachlich)

  • English

    C1 (Fließend)

  • Spanish

    A1-A2 (Grundkenntnisse)

  • French

    A1-A2 (Grundkenntnisse)

  • Arabic

    A1-A2 (Grundkenntnisse)

  • Persisch

  • Latein

XING – Das Jobs-Netzwerk

  • Über eine Million Jobs

    Entdecke mit XING genau den Job, der wirklich zu Dir passt.

  • Persönliche Job-Angebote

    Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.

  • 21 Mio. Mitglieder

    Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.

  • Kostenlos profitieren

    Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.

21 Mio. XING Mitglieder, von A bis Z