Jakob Bach
Data Scientist
Karlsruhe, Baden-Württemberg, Germany
Summary
👤
Senior🎓
Top SchoolJakob Bach is a data scientist with 11 years of experience bridging academic research and industry, currently applying his expertise at PTV Group after a long research tenure at KIT in Karlsruhe. He holds a magna cum laude Dr.-Ing. in Informatics and earned top marks in both his MSc and BSc, bringing rigorous theoretical grounding to practical data science problems. Jakob’s background spans research, teaching, and internships at organizations like SAP, giving him deep experience in applied machine learning, data-driven modeling, and software development. He is comfortable translating complex research into production-ready solutions and has a track record of mentoring students and collaborating across interdisciplinary teams. Based in Karlsruhe, Jakob combines academic rigor with an engineer’s focus on reproducibility and real-world impact.
11 years of coding experience
8 years of employment as a software developer
PhD (Dr.-Ing.), Informatics, magna cum laude (very good), PhD (Dr.-Ing.), Informatics, magna cum laude (very good) at Karlsruhe Institute of Technology (KIT)Master of Science - MS, Informatics, 1.0, Master of Science - MS, Informatics, 1.0 at University of Karlsruhe
German, English
Github Skills (80)
twitter4j9
stream9
r-package9
anaconda9
client-library8
twitter8
language-server-protocol8
cran8
theorem8
java-http-client8
spyder8
ide8
java8
realtime7
qt7
Programming languages (8)
Github contributions (5)
Jakob-Bach/Small-Portfolios
May 2021 - Aug 2022
Code and text for the paper "An Extensive Study of k-Portfolios of Recent SAT Solvers".
Contributions:188 commits, 1 PR, 50 pushes in 1 year 2 months
satsolverssat-solvergame-theoryportfolios
Jakob-Bach/Solver-Demo
Jul 2020 - Jul 2024
Demonstration of some SAT/SMT solvers/optimizers in multiple programming languages.
Contributions:1 PR, 23 pushes, 2 branches in 4 years
optimizationspythoncppsmtsat
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.