Joshua Bachmeier
Software Engineer at andrena objects ag
Karlsruhe, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolJoshua Bachmeier is a software engineer with a decade of experience blending research-grade formal methods and practical systems engineering, currently working at andrena objects after a research role at FZI. At FZI he focused on contract-based specification and verification for Software-Defined-Car components, translating formal models of functional and non-functional requirements into prototypes and publications presented internationally. His background includes federated authentication and authorization development at KIT and hands-on IT systems administration, giving him a rare mix of formal verification expertise and operational know-how. Joshua holds an M.S. in Computer Science from KIT and brings a pragmatic research mindset to product engineering, often bridging theory and implementation to make novel methods deployable. Based in Karlsruhe, he values clear, auditable solutions that scale from prototype to production.
10 years of coding experience
1 year of employment as a software developer
Master of Science - MS Informatik, Master of Science - MS Informatik at Karlsruhe Institute of Technology (KIT)
Github Skills (82)
ccc10
gnucash10
shift10
offline-maps9
openstreetmap9
chaos9
jquery-plugin9
flask9
osrm9
bootstrap9
php9
planning9
map-matching9
jquery8
feed8
Programming languages (13)
Github contributions (5)
joshuabach/gnucash-web
Dec 2021 - Jan 2023
A simple, mobile-friendly webinterface for GnuCash
Contributions:4 releases, 12 reviews, 95 commits in 1 year 1 month
pythonwebinterfaceflaskmobile-friendlygnucash
HaDiNet/adventure-maps
Apr 2021 - May 2021
Maps for HaDiKo Workadventure • https://play.adventure.hadiko.de
Contributions:22 commits, 1 PR, 11 pushes in 25 days
workadventuremap
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.