Michael Gerke
Suchst Du einen anderen Michael Gerke?
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Michael Gerke
- Current 9 years and 1 month, since May 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 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 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.
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.