Marco Sälzer
Postdoc at Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau (RPTU)
Kassel, Hesse, Germany
Summary
👤
Senior🎓
Top SchoolMarco Sälzer is a data scientist and computer scientist with a decade of experience blending theoretical foundations and practical applications across academia and freelance projects. Currently pursuing a PhD at Universität Kassel's Chair of Theoretical Computer Science & Formal Methods while freelancing as a data scientist, he applies formal methods, computability, and machine learning to real-world problems. His background includes teaching formal languages and logic, hands-on research in mobile activity recognition and data mining, and a stint at PwC exploring blockchain and AI use cases. Comfortable moving between rigorous theory and product-oriented development, he’s known for maintaining research-grade software tools that bridge experimental data collection and production analytics.
10 years of coding experience
3 years of employment as a software developer
Master of Science - MS, Informatik, Master of Science - MS, Informatik at University of Kassel
Github Skills (4)
parity5
game-development4
logic3
checker2
Programming languages (2)
Github contributions (5)
marcosaelzer/marcosaelzer.github.io
Jan 2023 - Oct 2025
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Contributions:10 pushes in 2 years 9 months
templategithub-pages-templatemmistakesmistakesjekyll
lampenoelseile/Local-High-Order-Fixpoint-MC
Aug 2019 - Jun 2020
model checker for higher-order fixpoint logic
Contributions:2 PRs, 29 pushes, 12 branches in 10 months
model-checkerlogichigher-orderchecker
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.