Benjamin Bittner
Software Developer And Software Safety Engineer Autonomous And Automated Driving
Böblingen, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolBenjamin Bittner is a software developer and safety engineer with 13 years of experience building and verifying safety-critical systems, currently shaping next-generation ADAS at Mercedes‑Benz. His background blends formal methods research (PhD work on diagnosability, recoverability, and timed failure propagation) with hands-on ASPICE development across AUTOSAR Adaptive and Classic. He has driven tooling and architecture efforts for remote update campaign planning and package management at MB, and previously collaborated with ESA and Boeing on model-based safety analysis. Multilingual and academically versatile—with degrees spanning software engineering, AI, and philology—he brings a rare mix of rigorous formal verification expertise and practical automotive software delivery. Notably, his research-informed approach improves how fault detection, isolation and recovery are specified and justified in production systems.
13 years of coding experience
4 years of employment as a software developer
BA, English, Russian, Philology, Translation, BA, English, Russian, Philology, Translation at Università degli Studi di TrentoBSc, Software Engineering, Logic, BSc, Software Engineering, Logic at Libera Università di BolzanoMSc, Artificial Intelligence, MSc, Artificial Intelligence at Universiteit van Amsterdam
German, Italian, English, Russian, Japanese
Github Skills (67)
docker-container9
markdown8
dockerfile8
php8
docker-image8
docker-compose7
hosting7
javascript7
mkdocs7
docker7
webserver6
collaboration6
server-administration6
control-panel6
owncloud6
Programming languages (8)
Github contributions (5)
AVATEAM-IT-SYSTEMHAUS/mkdocs-kroki-plugin
Apr 2021 - Jan 2023
MkDocs plugin for Kroki-Diagrams
Contributions:12 releases, 9 reviews, 6 commits in 1 year 9 months
mkdocsdiagramsmkdocs-pluginkrokimarkdown
al-cheb/mkdocs-kroki-plugin
Jan 2024 - Jan 2024
MkDocs plugin for Kroki-Diagrams
Contributions:1 push in 1 day
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.