Jonathan E. Magen
Philadelphia, Pennsylvania, United States
Summary
👤
SeniorJonathan Magen is a Principal Computer Scientist with 17 years of experience building secure, distributed systems and coaching engineering teams across enterprise and research settings. He currently leads architecture and automation efforts at Comcast after senior technical roles at Cigna and GeneDx, bringing deep expertise in Elixir/OTP, Rust, Ruby on Rails, TypeScript, containers, and formal methods like TLA+ and Alloy. Jonathan holds multiple patents and has been recognized for management, mentorship, and individual contributions, blending hands-on implementation with language and PLT research. He pairs practical data visualization skills in Julia and R with a particular interest in domain-specific languages and security/compliance automation, often translating formal models into production-ready tooling. Based in Philadelphia, he is as comfortable prototyping in Lisp as he is designing large-scale, auditable systems.
17 years of coding experience
Github Skills (200)
application-settings10
angular-app10
protractor10
server10
javascript9
monitoring9
peg9
browser9
code-golf9
context-free-grammar9
powershell9
parser-combinators9
timeseries-database9
bash9
parser9
Programming languages (21)
Github contributions (5)
yonkeltron/scosugbot
May 2010 - Sep 2010
Contributions:56 commits in 3 months
yonkeltron/libgraph
Feb 2018 - Oct 2023
Contributions:2 pushes in 5 years 9 months
data-structure-librarygraph-dataelixirgraphdata-structure
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.