Josh Cohen
Applied Scientist at Amazon Web Services (AWS)
Virginia, United States
Summary
👤
Senior🎓
Top SchoolJosh Cohen is an Applied Scientist in AWS’s Automated Reasoning Group with nine years of experience at the intersection of formal verification, proof assistants, and functional programming. He completed a PhD focused on a verified implementation of the Why3 intermediate verification language and has hands-on experience verifying real-world systems—most notably a Reed-Solomon-based error-correction system—using Coq and the Verified Software Toolchain. His work bridges theorem proving and practical tooling, having formalized Why3 in Coq to enable sound, semi-automated verifiers that leverage SMT automation. He has interned and contributed to multiple AWS teams, including verifying parts of an IAM policy evaluator in Dafny and contributing to KMS, demonstrating an ability to move from research to production contexts. Based in Virginia, he pairs deep theoretical expertise with pragmatic engineering and a track record of translating Haskell and algorithmic artifacts into machine-checked guarantees.
9 years of coding experience
2 years of employment as a software developer
Master of Science - MS, Computer Science, Master of Science - MS, Computer Science at University of PennsylvaniaDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Princeton University
Github Skills (23)
pretty-print7
wireless6
opensearch6
select-menu5
binding5
beautify5
textinput5
animation5
visualization4
go-modules4
console4
nodejs4
gnuradio4
go3
iot3
Programming languages (5)
Github contributions (5)
DrexelSmartHouse/DSHouse-Login-Auto
Jul 2018 - Apr 2020
Drexel Smart House sign-in and email automation scripts
Contributions:13 PRs, 11 pushes, 6 branches in 1 year 9 months
sign-inhousesignsmart-houseemail
DrexelSmartHouse/DragonHomeNetwork
Feb 2018 - Oct 2019
Wireless IoT Network with a goal of covering Drexel's campus
Contributions:36 commits, 4 PRs, 27 pushes in 1 year 8 months
iotwireless
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.