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 (48)
dsl10
nltk10
risc-v10
virtual-machine10
code-generation10
risc10
microarchitecture10
cryptography10
zk10
rust10
testing9
ios9
codegen9
python9
validation9
Programming languages (12)
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-language
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.