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 (45)
javascript10
diagramming10
diagram10
php10
nextcloud10
mkdocs9
self-hosting9
federation9
file-sharing9
collaboration9
usability9
owncloud9
docker-container8
open-source8
docker-image8
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
mkdocsdiagramkrokimkdocs-plugindiagramming
AVATEAM-IT-SYSTEMHAUS/packer-plugin-proxmox
Nov 2025 - Dec 2025
Contributions:1 release, 4 pushes, 4 tags in 17 days
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.