Max Bruce
Principal Software Engineer at F5
San Francisco, California, United States
Summary
🤩
Rockstar🎓
Top SchoolMax Bruce is a Principal Software Engineer based in San Francisco with 11 years of hands-on experience building systems from low-level cryptographic primitives to cloud-native security tooling. A lifelong tinkerer who began programming at eight, he’s led compiler and blockchain node work (notably on the Leo language and snarkVM/snarkOS for zero-knowledge applications) and has delivered large-scale key management and IoT fleet systems in production at ByteDance and Matician. As CTO and co-founder of a security observability startup, he blends product leadership with deep backend engineering, performance optimization, and parallelization techniques. Max’s breadth spans full-stack and embedded domains as well as hobbies like metallurgy and avionics, which feed a practical, tool-oriented engineering style that favors elegant, verifiable solutions.
11 years of coding experience
7 years of employment as a software developer
University of California Santa Cruz
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (16)
zkp10
compiler10
programming-language10
compiler-design10
compiler-compiler10
rust10
type-inference10
merkle-tree10
cryptography10
blockchain10
abstract-syntax-tree10
data-structure9
algorithm9
data-structures9
algorithms9
Programming languages (14)
Github contributions (5)
ProvableHQ/leo
Dec 2020 - Jun 2021
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Role in this project:
Back-end Developer & Compiler Engineer
Back-end Developer & Compiler EngineerContributions:42 reviews, 96 commits, 28 PRs in 6 months
Contributions summary:Max primarily contributed to the Leo Programming Language compiler, focusing on the abstract syntax tree (AST) and type inference components. Their work involved adding new AST nodes for blocks and iterations, as well as refactoring and breaking out expression-related code. The user also addressed naming conventions and introduced a constant folding optimization pass to the compiler.
verifiedzeroknowledgezero-knowledgeformally-verified
ProvableHQ/snarkOS
Apr 2021 - Oct 2021
A Decentralized Operating System for ZK Applications
Role in this project:Backend Developer
Backend DeveloperContributions:225 reviews, 155 commits, 92 PRs in 5 months
Contributions summary:Max's contributions focused on enhancing the `snarkos` repository, a decentralized operating system for ZK applications. Their work involved modifying the Merkle tree implementation within the storage module, including fixing usage and integrating parallelization techniques. Furthermore, the user addressed and improved the block state within the ledger scheme and implemented internal validations related to transactions.
cryptographyrustoperating-systemblockchainzero-knowledge
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.