Niels Voss
Strategy Subteam Co-lead
California, United States
Summary
🤩
Rockstar🎓
Top SchoolNiels Voss is a mathematics undergraduate at UC Berkeley with five years of hands-on engineering and strategy experience leading the race strategy subteam for CalSol’s solar vehicle program. He combines real-time telemetry analysis, probabilistic performance modeling, and operational decision-making—troubleshooting electrical faults over radio while optimizing energy use, pit strategy, and driver rotations under uncertainty. As webmaster he migrated and productionized team infrastructure on AWS with monitoring and Slack integrations, supporting a 249-member organization and documenting the stack. Niels also does research applying formal methods to education: he coauthored a paper on Lean-verified tutoring presented at ICML 2025 and has formalized core probability and optimization courses in Lean. Practical, data-driven, and comfortable at the intersection of field operations, systems engineering, and formal verification, he brings both discipline and curiosity to complex, safety-critical systems.
6 years of coding experience
Bachelor of Arts - BA (in progress), Mathematics, Bachelor of Arts - BA (in progress), Mathematics at University of California, BerkeleySan Mateo High School
Github Skills (35)
mathematical10
javascript9
mathematics9
formal-methods9
math-library9
theorem-proving9
minecraft7
math7
mathlib6
vscode6
fabric6
forge6
vscode-extension6
dedicated6
snow6
Programming languages (6)
Github contributions (5)
osbourn/cloudcubes
Feb 2021 - Jun 2022
Contributions:2 PRs, 102 pushes in 1 year 3 months
nielsvoss/apcs-homeworkscanner
Sep 2023 - Jul 2024
Contributions:1 release, 1 PR, 16 pushes in 10 months
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.