Miguel Bernadin is a Tech Lead Site Reliability Engineer based in San Francisco with over a decade of hands-on experience designing and operating large-scale distributed systems. He has driven reliability, automation, and lifecycle ownership at high-growth companies including TikTok, Circle, BitMEX, and Pulze.ai, often leading migrations, CI/CD modernizations, and disaster-recovery improvements. Early work on DC/OS and contributions to the dcos/dcos project show a long-running focus on cloud-native installer, deployment and system-check automation across AWS and container ecosystems. Miguel combines engineering leadership with deep platform craftsmanship—implementing observability, networking (Calico→Cilium), and IAM/SCIM improvements—while keeping developer productivity and resilience front of mind. He’s equally comfortable writing low-level deployment fixes (shebangs, docker checks) and shaping team strategy to reduce toil and scale services. Known for pragmatic problem solving, he brings both operational rigor and a track record of shipping reproducible infrastructure at scale.
10 years of coding experience
10 years of employment as a software developer
Bachelor's degree of Computer Engineering, Bachelor's degree of Computer Engineering at Stony Brook University
Contributions:11 commits, 23 PRs, 35 comments in 2 years 2 months
Contributions summary:Miguel's contributions primarily revolve around improving the DC/OS infrastructure and build process. They fixed issues related to the installation prerequisites for RHEL7, ensuring compatibility. Furthermore, they integrated a dcos-diag check for AWS CF templates, and adjusted the shebang in a script for better cross-platform compatibility, indicating a focus on automation and deployment. They also added a docker utility check within the system, and updated the description for the docker dcos-check, signifying system checks and continuous integration improvements.
A Terraform module to install, upgrade, and modify nodes for DC/OS clusters.
Contributions:9 commits, 5 PRs, 25 pushes in 4 months
clustersmodifynodesterraformterraform-provider
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.