
Michael Gerke
Suchst Du einen anderen Michael Gerke?
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Michael Gerke
- Bis heute 8 Jahre und 1 Monat, seit Mai 2017
Wissenschaftlicher Stab
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
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
Entwicklung von Datenstrukturen und Algorithmen für Reachability Checking, Modellierung und Analyse des FlexRay Physical Layer Protocols, Tutorentätigkeit, Assistenz, Lehre, Betreuung von Studenten
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 Mitglieder mit ähnlichen Profilangaben
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.