Dr. Steffen Jost
Suchst Du einen anderen Steffen Jost?
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Steffen Jost
Weiterentwicklung, Bearbeitung und Durchführung von luftseitigen Kapazitäts- und Prozessanalysen sowie Ableitungen relevanter KPIs inklusive der Identifizierung von Einflussfaktoren auf das luftseitige System Flughafen unter Einbeziehung sämtlicher relevanter Prozesse; Teilprojektleitung von Projekten im Flugbetrieb; Eigenständige Betreuung und Begleitung von Studien und wissenschaftlichen Arbeiten zu luftseitigen Prozessen und Kapazitätsanalysen
- 8 Jahre und 11 Monate, Okt. 2010 - Aug. 2019
Akademischer Rat
LMU München
Durchführung und Planung internationaler Forschungsprojekte im Bereich automatischer Software-Analyse; Leitung und Koordinierung studentischer Hilfskräfte
- 5 Jahre und 4 Monate, Juni 2005 - Sep. 2010
Research Fellow
University of St Andrews (Scotland)
Koordination und Durchführung von EU-Forschungsprojekten mit Industriepartnern im Bereich quantitative, statische Software-Analyse für embedded control systems (Reine Forschungsstelle)
- 3 Jahre und 1 Monat, Mai 2002 - Mai 2005
Wissenschaftlicher Mitarbeiter
LMU München
Wissenschaftlicher Mitarbeiter am Lehrstuhl für theoretische Informatik, Automatische Analyse imperativer Sprachen, Java
Planung, Durchführung und Auswertungen von Rollfeldsimulation zum Ausbau des Flughafens Frankfurt in der Organisationseinheit Ausbauprogramm Flughafen-Forschung & Entwicklung (APF-KE)
- 2 Monate, Juni 1992 - Juli 1992
Trainee
ESA / ESOC
Traineeship ESA Computer and Network Operations
Ausbildung von Steffen Jost
- 2007 - 2010
Forschungsreisen (3, jeweils mehrwöchig)
University of Porto (Portugal)
Automatische Programmanalyse von Sprachen mit fauler Auswertung (lazy evaluation, call-by-need; e.g. Haskell)
- 2 Monate, Okt. 2003 - Nov. 2003
Forschungsreise
IT University of Copenhagen (Dänemark)
Region-based memory management, ML Kit, Cyclone
- 8 Jahre und 5 Monate, Mai 2002 - Sep. 2010
Informatik
LMU München
Programm Analyse, Typsysteme, Funktionale Programmierung, Logik
- 1 Jahr, Sep. 1998 - Aug. 1999
Auslandsjahr
University of Birmingham (UK)
Automated Reasoning, Logic Programming, Set Theory, Group- & Representationtheory
- 6 Jahre und 5 Monate, Okt. 1995 - Feb. 2002
Mathematik
TU Darmstadt
Lineare Optimierung, Konstruktive Logik, Graphentheorie, Algorithmen
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Französisch
Gut
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.