Navigation überspringen

Michael Gerke

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

Fähigkeiten und Kenntnisse

FlexRay
Formale Methoden
Verifikation
Modellierung
Embedded Systems

Werdegang

Berufserfahrung von Michael Gerke

  • Bis heute 8 Jahre und 1 Monat, seit Mai 2017

    Wissenschaftlicher Stab

    Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  • 6 Jahre und 1 Monat, Dez. 2010 - Dez. 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 Jahr und 8 Monate, Mai 2009 - Dez. 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 Monate, Okt. 2008 - März 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 Monate, Jan. 2008 - Juni 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 Monate, Juni 2002 - Sep. 2002

    Praktikant

    SyynX WebSolutions GmbH

    Programmierung mit Python, Analyse automatisch erstellter HTML Dateien

  • 1 Monat, Feb. 1998 - Feb. 1998

    Praktikant

    netfab GmbH

    Datenerfassung und Pflege

Ausbildung von Michael Gerke

  • 9 Jahre und 1 Monat, Dez. 2010 - Dez. 2019

    Informatik

    Universität des Saarlandes

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

  • 3 Jahre und 8 Monate, Apr. 2007 - Nov. 2010

    Informatik

    Universität des Saarlandes

    Formale Verifikation, FlexRay, Formale Hardwarebeschreibung, Eingebettete Systeme

  • 4 Jahre und 6 Monate, Okt. 2002 - März 2007

    Informatik

    Universität des Saarlandes

    Formales Hardware Design, FlexRay; Nebenfach: Computerlinguistik

Sprachen

  • Deutsch

    Muttersprache

  • Englisch

    Fließend

  • Spanisch

    Grundlagen

  • Französisch

    Grundlagen

  • Arabisch

    Grundlagen

  • 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.

  • 22 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