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 (32)
ssreflect10
mathematical9
coq9
homotopy-type-theory8
vscodium8
category-theory8
julia8
haskell8
verification8
agda8
symbolic-computation8
visual-studio-code-extension7
proof-assistant7
formal-verification7
type-theory7
Programming languages (7)
Github contributions (5)
joscoh/why3-semantics
Dec 2022 - Jul 2026
Formal Semantics for Why3
Contributions:343 pushes, 13 branches, 1 comment in 3 years 7 months
formal-semantics
verified-network-toolchain/Verified-FEC
Oct 2020 - Jan 2023
Verified Forward Erasure Correction in Coq
Contributions:311 commits, 117 pushes, 15 branches in 2 years 3 months
coq
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.