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 years and 11 months, Oct 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 years and 4 months, Jun 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 years and 1 month, May 2002 - May 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 months, Jun 1992 - Jul 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 months, Oct 2003 - Nov 2003
Forschungsreise
IT University of Copenhagen (Dänemark)
Region-based memory management, ML Kit, Cyclone
- 8 years and 5 months, May 2002 - Sep 2010
Informatik
LMU München
Programm Analyse, Typsysteme, Funktionale Programmierung, Logik
- 1 year, Sep 1998 - Aug 1999
Auslandsjahr
University of Birmingham (UK)
Automated Reasoning, Logic Programming, Set Theory, Group- & Representationtheory
- 6 years and 5 months, Oct 1995 - Feb 2002
Mathematik
TU Darmstadt
Lineare Optimierung, Konstruktive Logik, Graphentheorie, Algorithmen
Sprachen
German
C2 (Verhandlungssicher / Muttersprachlich)
English
C1 (Fließend)
French
B1-B2 (Gute Kenntnisse)
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.