Florian Haftmann

Bis 2019, Software- und IT-Consultant – Entwicklung und Architektur, InterFace AG

Munich, Deutschland

Über mich

Schwerpunkt meiner IT-, Software- und Projektarbeit ist die Förderung digitaler Souveränität im öffentlichen Sektor. Zentrale Werkzeuge dazu sind offene Standards und freie Software: Interoperabilität wird gesteigert und die Abhängigkeit von einzelnen, singulären Anbietern vermindert, so dass Wirtschaftlichkeit und Resilienz erhöht werden. Meine fundierten Informatik-Kenntnisse und Expertise in unterschiedlichsten Software-Anwendungsbereichen ermöglichen mir dabei ein iteratives, gut steuerbares Vorgehen zur Modernisierung von IT- und Softwarelandschaften.

Fähigkeiten und Kenntnisse

Digitale Souveräntität
Open Source
Linux
Linux auf dem Desktop
Linux-Distributionsentwicklung
Linux-Systemprogrammierung
Formale Methoden
Software- und Systementwicklung
IT- und Software-Architektur
Entwicklungstools (Ticket-/Workflow-/Wiki-Systeme)
Notensatz
Python
ML
Haskell
Isabelle
HOL
TypeScript
Go
Node.js
systemd
GNU LilyPond
LibreOffice
Technischer Projektleiter
Kubernetes
Docker
Paketierung für Linux (deb & rpm)

Werdegang

Berufserfahrung von Florian Haftmann

  • Bis heute 1 Jahr und 8 Monate, seit Nov. 2022

    System Engineer

    UhuruTec AG
  • Bis heute 2 Jahre und 11 Monate, seit Aug. 2021

    Software- und IT-Consultant – Entwicklung und Architektur

    InterFace AG

    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 2021

    Software- und IT-Consultant – Entwicklung und Architektur

    InterFace AG

    Bei einem Großkunden: Iterative Modernisierung eines Lohnabrechnungssystems. Softwarearchitektur, Migrations- und Einführungsbegleitung, Entwicklung.

  • 1 Jahr, Mai 2018 - Apr. 2019

    Software- und IT-Consultant – Entwicklung und Architektur

    InterFace AG

    Bei der Landeshauptstadt München: Architekt und technischer Projektleiter für den LiMux-Basisclient Release 6.0 – Kommunikation und Abstimmung mit anderen Teams, die Anlei­tung von Kollegen und vor allem die technisch-organisatorische Strukturierung der Entwick­lungsarbeit. 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

    Weiter­entwicklung des LiMux-Basisclients der Landes­hauptstadt München, eines Linux-basierten Arbeitsplatzsystems auf 17.000 Clients der Münchner Stadtverwal­tung. Meine Entwicklungs-Beiträge erstrecken sich über fast alle Bereiche des Sys­tems, dar­über hinaus auch Architektur, Konzeption, Work­shops für Entwicklung und Support, Betriebsunterstützung und Schulungen für Admi­nistratoren und Anwender.

  • 4 Jahre und 10 Monate, Apr. 2005 - Jan. 2010

    Wissenschaftlicher Mitarbeiter

    TU München

    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

    -

21 Mio. XING Mitglieder, von A bis Z