Florian Haftmann
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Florian Haftmann
- Bis heute 4 Jahre, seit Aug. 2021InterFace AG
Software- und IT-Consultant – Entwicklung und Architektur
Bei einem Großkunden: Aufbau und Betrieb einer Microservice-Plattform auf Basis von Kubernetes als Werkzeug zur Modernisierung einer gewachsenen Business-Software-Landschaft.
- 2 Jahre und 3 Monate, Mai 2019 - Juli 2021InterFace AG
Software- und IT-Consultant – Entwicklung und Architektur
Bei einem Großkunden: Iterative Modernisierung eines Lohnabrechnungssystems. Softwarearchitektur, Migrations- und Einführungsbegleitung, Entwicklung.
Bei der Landeshauptstadt München: Architekt und technischer Projektleiter für den LiMux-Basisclient Release 6.0 – Kommunikation und Abstimmung mit anderen Teams, die Anleitung von Kollegen und vor allem die technisch-organisatorische Strukturierung der Entwicklungsarbeit. Insgesamt wurden in diesem Release knapp 1000 Tickets erfolgreich umgesetzt.
- 6 Jahre und 6 Monate, Nov. 2011 - Apr. 2018
IT-Systementwickler und -Architekt
it@M - IT-Dienstleister der Landeshauptstadt München
Weiterentwicklung des LiMux-Basisclients der Landeshauptstadt München, eines Linux-basierten Arbeitsplatzsystems auf 17.000 Clients der Münchner Stadtverwaltung. Meine Entwicklungs-Beiträge erstrecken sich über fast alle Bereiche des Systems, darüber hinaus auch Architektur, Konzeption, Workshops für Entwicklung und Support, Betriebsunterstützung und Schulungen für Administratoren und Anwender.
Code generation from specifications in higher-order logic. – Computational abstract algebra. – Isabelle's module system: locales, locale interpretation, type classes and local theories. – Wide-spread maintenance work on Isabelle/HOL library theories. Abschließende Promotion.
Ausbildung von Florian Haftmann
- 10 Jahre und 3 Monate, Okt. 1999 - Dez. 2009
Informatik
TU München
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
Bavarian
-
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.