Software Developer And Software Safety Engineer Autonomous And Automated Driving
Böblingen, Baden-Württemberg, Germany
Join Prog.AI to see contacts
Join Prog.AI to see contacts
Summary
👤
Senior
🎓
Top School
Benjamin 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 Trento
BSc, Software Engineering, Logic, BSc, Software Engineering, Logic at Libera Università di Bolzano
MSc, Artificial Intelligence, MSc, Artificial Intelligence at Universiteit van Amsterdam
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.
Request Free Trial
Benjamin Bittner - Software Developer And Software Safety Engineer Autonomous And Automated Driving