Georg Schmid
Senior Software Engineer at NVIDIA
Zurich, Zurich, Switzerland
Summary
👤
Senior🎓
Top SchoolGeorg Schmid is a Senior Software Engineer and final-year PhD in Computer Science based in Zurich with 13 years of experience building compilers, verification tooling, and systems for high-performance ML. He has contributed to major compiler projects including Dotty (Scala 3), V8, and the Rust front-end for the Stainless verification pipeline, and has recently focused on automatic parallelization within the MLIR ecosystem. His industry work spans research and production roles at NVIDIA, Stripe, DeepMind and Google, where he designed partitioners for large models and optimized JavaScript engine internals. Georg combines deep theoretical grounding in programming languages with practical systems engineering, repeatedly turning complex verification and compiler problems into robust, deployable solutions. An underappreciated thread through his career is simplifying large search spaces—whether for partitioning ML models or optimizing compilers—to make sophisticated techniques tractable in real systems.
12 years of coding experience
7 years of employment as a software developer
Bachelor of Science - BS, Computer Science, Bachelor of Science - BS, Computer Science at Vienna University of TechnologyDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at EPFL (École polytechnique fédérale de Lausanne)
Stackoverflow
1reputation
0reached
1answer
0questions
Github Skills (25)
proof-assistant10
tlaplus10
formal-methods10
scala-native10
new-language10
solver10
verification10
model-checking10
scala10
dotty10
leon10
coq10
z310
cvc410
smt10
Programming languages (3)
Github contributions (5)
gsps/dotty
Jun 2016 - Feb 2020
Research platform for new language concepts and compiler technologies for Scala.
Contributions:210 commits, 113 pushes, 12 branches in 3 years 9 months
technologiesfunctional-programmingcompilerscalanew-language
gsps/stainless
Jan 2017 - Nov 2019
Verification framework for higher-order functional programs
Contributions:35 pushes, 5 branches in 2 years 9 months
functional-programmingsmtsat-solverprogramsagda
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.