Markus Großer
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Markus Großer
Ausbildung von Markus Großer
- 3 Jahre, Okt. 2017 - Sep. 2020
Informatik
Technische Universität München
Hauptschwerpunkt: Formale Methoden und ihre Anwendungen Nebenschwerpunkte: Robotik; Rechnerarchitektur, Rechnernetze und Verteilte Systeme Tutor für Funktionale Programmierung und Verifikation Masterarbeit: Implementation and Evaluation of a Connection-Based Theorem Prover in Isabelle September – Dezember 2018: Auslandssemester an Universität Oulu, Schwerpunkt auf Signalverarbeitung und Embedded-Systemen
- 3 Jahre, Okt. 2014 - Sep. 2017
Informatik
Technische Universität München
Anwendungsfach: Elektrotechnik und Informationstechnik Tutor für Grundlagen: Algorithmen und Datenstrukturen und Funktionale Programmierung und Verifikation Bachelorarbeit: Verification of Selected Efficient Algorithms in Discrete Mathematics
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
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.