Josh Cohen
Senior Robotics Engineer at Atomic Machines
San Francisco, California, United States
Summary
👤
Senior🎓
Top SchoolJosh Cohen is a Senior Robotics Engineer based in San Francisco with eight years of experience building mechatronic systems that bridge hardware, electronics, and software. He applies control theory and automation to design responsive, robust systems—from distributed PLC networks at SLAC to swarm robotics at Fulfil—and has a track record of taking prototypes to production-grade tools relied on by dozens of users. At AWS as an Applied Scientist and now at Atomic Machines, he combines hands-on prototyping with pragmatic product thinking, managing technical debt while pushing technological advances. Josh is passionate about open-source hardware and software and about grounding cutting-edge research in everyday operational constraints. He holds an MS in Robotics (and a BS in Mechanical Engineering) from Northwestern, and unexpectedly brings a systems-level empathy for long-term user support into every engineering decision.
8 years of coding experience
5 years of employment as a software developer
Master of Science - MS, Robotics, Master of Science - MS, Robotics at Northwestern University
Github Skills (45)
ssreflect10
mathematical9
ghc9
coq9
servant9
hackage9
cabal9
homotopy-type-theory8
vscodium8
category-theory8
julia8
type-theory8
verification8
dependent-types8
agda8
Programming languages (5)
Github contributions (5)
verified-network-toolchain/Verified-FEC
Oct 2020 - Jan 2023
Contributions:311 commits, 117 pushes, 15 branches in 2 years 3 months
joscoh/why3-semantics
Dec 2022 - Apr 2025
Contributions:295 pushes, 8 branches in 2 years 3 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.