David Vogelbacher is a software engineer with eight years of experience specializing in distributed systems, machine learning, algorithms, data structures, and formal verification. He spent the bulk of his career at Palantir, progressing from forward-deployed engineer to lead software engineer where he led backend teams and drove a migration from a special-purpose service to a scalable, general-purpose backend for Foundry Compute. Now based in Los Angeles and currently at Nominal, he combines hands-on backend architecture experience with practical leadership in production systems. His academic background from KIT (B.Sc. with distinction; M.Sc. in Computer Science) underpins a methodical approach to building reliable, auditable systems. Colleagues would note his uncommon blend of formal verification interests with pragmatic infrastructure work, enabling both correctness-focused design and scalable operational delivery.
8 years of coding experience
7 years of employment as a software developer
University of Waterloo
Carnegie Mellon University
Master of Science (M.Sc.), Computer Science, Master of Science (M.Sc.), Computer Science at Karlsruher Institut für Technologie (KIT)
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.