Maximilian Schlund
V&V Architect at ETAS
Stuttgart, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolMaximilian Schlund is a V&V Architect with 11 years of experience applying formal methods, static analysis and machine learning to verification of large-scale and embedded software. He combines a PhD in theoretical computer science and a strong math background with hands-on fluency in Python, Scala, Java, C/C++ and Linux shell, favoring pragmatic, purpose-driven engineering over one-off hacks. At Bosch Research he developed automated, formal static analysis techniques (and applied ML to reduce false positives) and now brings that expertise to systems-level verification at ETAS. His research-to-product mindset is grounded in automata, logic and algorithms, enabling non-obvious, principled solutions to messy engineering problems. Based in Stuttgart, he enjoys data-wrangling and building applied tools that scale to very large codebases. He prefers meaningful professional connections and values direct, personal outreach.
11 years of coding experience
8 years of employment as a software developer
Dr. rer. nat. (PhD) Theoretical Computer Science, Dr. rer. nat. (PhD) Theoretical Computer Science at Technical University of Munich
Github Skills (9)
development-environment8
omega8
l-systems8
solver6
julia5
svg3
embedded-software1
embedded1
programming-language1
Programming languages (4)
Github contributions (5)
mschlund/blechexamples_arduino
Jan 2021 - Jun 2022
Contributions:46 commits, 39 pushes, 1 branch in 1 year 5 months
mschlund/lsystems
Oct 2022 - Feb 2023
Playing around with lsystems and drawing the resulting string with the help of an svg-turtle as a curve.
Contributions:8 reviews, 63 commits, 9 PRs in 3 months
l-systemssvg
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.