David Leeds
Senior Software Engineer at Joby Aviation
San Jose, California, United States
Summary
👤
Senior🎓
Top SchoolDavid Leeds is a Senior Software Engineer with a decade of experience designing robust, scalable systems across embedded Linux, IoT, EV charging, and datacenter power domains. He brings deep proficiency in C, modern C++, and Rust, and a track record of architecting microservices, cloud connectivity, and protocol stacks—having implemented ISO 9506 MMS in Rust and led core platform work for multiple generations of EV chargers. Comfortable from low-level socket and driver work to API and cloud service design, he favors test-driven development, SOLID principles, and pragmatic refactoring of legacy code. Based in San Jose, he pairs industrial protocol expertise (IEC 61851, ISO 15118, OCPP, Modbus, MQTT) with hands-on hardware experience from Raspberry Pi prototyping to production embedded platforms. Not obvious from a title: he repeatedly moves between embedded constraints and cloud architectures, making him effective at bridging device firmware and scalable backend systems.
10 years of coding experience
16 years of employment as a software developer
Bachelor of Science Computer Engineering, Bachelor of Science Computer Engineering at Rochester Institute of Technology
English
Stackoverflow
698reputation
47kreached
10answers
0questions
Github Skills (37)
embedded-linux10
ssa10
probing10
collision10
gcc10
hashmap10
generic-programming10
dub10
constant-time10
linear-probing10
der9
ber9
data-structures9
cer7
wordle-game7
Programming languages (3)
Github contributions (5)
DavidLeeds/hashmap
Nov 2016 - Mar 2022
Templated type-safe hashmap implementation in C using open addressing and linear probing for collision resolution.
Contributions:6 releases, 4 reviews, 39 commits in 5 years 4 months
collision-resolutiontemplatelineartype-safehashmap
DavidLeeds/event
Nov 2017 - Apr 2022
Tiny epoll-based event loop library for event-driven Linux applications
Contributions:15 commits, 3 PRs, 18 pushes in 4 years 6 months
non-blockingepollevent-looptinylinux
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.