Michael Snyder

Seattle, Washington, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Michael Snyder is a systems-minded software and infrastructure engineer with 11 years of experience building and operating high-availability platforms across AWS, GCP, and on-prem environments. He blends hands-on development (Ruby, Node, Python, Go, Rust) with SRE/DevOps practice—designing observability, IaC, and automation that reduce MTTR and improve SLAs for e-commerce, streaming, and large-scale AWS projects. Michael regularly acts as the bridge between product teams, vendors, and stakeholders, leading cross-functional Agile initiatives while codifying runbooks and SLO-driven processes. His work spans fraud-detection and high-performance data systems to expressive APIs, and he has a practical knack for shrinking deployment times through targeted CI/CD and orchestration improvements. Based in Seattle, he brings a lifelong curiosity for networking and hardware to every role, often stepping into unrevealed operational gaps to harden reliability and reduce organizational risk.
code11 years of coding experience
job7 years of employment as a software developer
bookBachelor of Technology (BTech) Application Software Development, Bachelor of Technology (BTech) Application Software Development at State University of New York College of Agriculture and Technology at Morrisville
languagesEnglish
github-logo-circle

Github Skills (132)

frege10
sbt10
gradient9
sdk9
build-automation9
command-line-tool9
dotty9
cbt9
jvm-bytecode9
scala9
fiddle9
arrows9
slick9
cli8
database8

Programming languages (11)

TypeScriptShellC++ScalaJavaScriptElmFregeGo

Github contributions (5)

github-logo-circle
mchav/dataframe

Feb 2024 - Feb 2025

An intuitive, dynamically-typed DataFrame library.
Contributions:2 reviews, 12 PRs, 199 pushes in 1 year
mchav/MavenSearch

Feb 2016 - Apr 2016

Contributions:47 commits, 3 PRs, 39 pushes in 1 month
prototypesearchbuild-tool
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.
Request Free Trial
Michael Snyder