Jacob Weightman
Senior Compiler Engineer at NVIDIA
Minneapolis, Minnesota, United States
Summary
🤩
Rockstar🎓
Top SchoolJacob Weightman is a senior compiler engineer with nine years of systems and language-design experience, now focused on compiler work at NVIDIA after leading Zirgen’s design and implementation for RISC Zero’s zero-knowledge circuit compiler. His background spans high-performance OpenMP and GPU offload work for exascale systems at HPE, full-stack engineering and API design in IoT at SmartThings, and hands-on cryptographic circuit and formal-methods projects using Lean and SMT solvers. He combines low-level performance tuning (GPU runtimes, compiler optimizations) with higher-level language and DSL design, and has shipped tooling used in both academic and production contexts. Unusually for a compiler engineer, he also co-founded a deployed edtech startup and has experimental research experience in materials and photonics, reflecting a broad curiosity that informs pragmatic engineering decisions.
9 years of coding experience
8 years of employment as a software developer
Mounds View High SchoolBachelor’s Degree, Computer Science, Physics, Bachelor’s Degree, Computer Science, Physics at Macalester College
English, Spanish
Stackoverflow
31reputation
2kreached
4answers
1question
Github Skills (79)
verifiable10
code-generation10
risc10
microarchitecture10
rust10
dsl10
risc-v10
meta10
nltk10
virtual-machine10
cryptography10
zk10
codegen9
validation9
swift9
Programming languages (10)
Github contributions (5)
jacobdweightman/allium
Jan 2021 - Oct 2022
The Allium Programming Language
Contributions:15 reviews, 142 commits, 6 PRs in 1 year 9 months
programming-languageallium
jacobdweightman/fortunes-algorithm
May 2018 - May 2020
Contributions:24 commits, 4 PRs, 25 pushes in 2 years
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.