Florian Würmseer
Cloud Native Developer
Munich, Bavaria, Germany
Summary
👤
Senior🎓
Top SchoolFlorian Würmseer is a Cloud Native Developer based in Munich with nine years of hands-on experience building full-stack web applications, integrations, and ML/NLP solutions. Currently at SAP and completing a Master's in Computer Science at LMU with focus on machine learning and formal methods, he bridges rigorous academic techniques with production engineering. Prior roles at W. L. Gore & Associates saw him lead backend, API and UI development, automated testing, and mentor interns and apprentices. He brings practical expertise in integration and testing automation alongside an interest in applying formal methods to make ML systems more reliable—an uncommon blend that informs his approach to cloud-native architecture.
8 years of coding experience
7 years of employment as a software developer
Mittlerer Schulabschluss, Technik, Mittlerer Schulabschluss, Technik at Grund- und Mittelschule EbersbergMaster of Science - MS, Computer Science, Master of Science - MS, Computer Science at Ludwig-Maximilians-Universität MünchenInformatikkaufmann, Software Development, 2.1, Informatikkaufmann, Software Development, 2.1 at Städt. Berufsschule für kaufmännische Industrie- und Informatikberufe MünchenBachelor of Science - BS, Computer Science, 1.9, Bachelor of Science - BS, Computer Science, 1.9 at Hochschule München University of Applied Sciences
German, English, Chinese, Spanish
Github Skills (22)
homotopy-type-theory6
agda6
theorem-proving5
theorem5
dependent-types5
proof-assistant5
programming-language4
computer-algebra-system4
vocabulary4
discord-bot3
sql3
discord-py3
compiler3
discord3
postgresql3
Programming languages (5)
Github contributions (5)
FWuermse/FWuermse.github.io
Feb 2021 - Apr 2022
Contributions:11 commits, 10 PRs, 15 pushes in 1 year 2 months
FWuermse/timeline-kml-splitter
Aug 2018 - Feb 2021
Contributions:3 pushes, 1 branch in 2 years 5 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.