Miguel Varela Ramos
Member Of Technical Staff at Fluidstack
Lisbon, Portugal
Summary
🤩
Rockstar🎓
Top SchoolMiguel Varela Ramos is a software engineer with nine years of experience specializing in distributed systems, ML infrastructure, and Kubernetes-based production platforms. He has built operators, scale-to-zero mechanisms, and async APIs at Cortex and led infrastructure work at Cohere before joining Fluidstack, blending deep systems control theory (MSc from Técnico Lisbon with an Erasmus at TU Delft) with hands-on cloud-native engineering. His background spans ML research—outperforming prior voice-conversion results at CMU—to deploying production computer-vision and speech models, giving him a rare mix of research rigor and production pragmatism. An active open-source contributor, he’s improved critical Kubernetes tooling such as cert-manager by driving test-first fixes around ACME gateway integration. Colleagues rely on him to take ideas from prototype to resilient, observable production services.
9 years of coding experience
9 years of employment as a software developer
Master of Science (MSc) Electrical Engineering (Erasmus Exchange), Master of Science (MSc) Electrical Engineering (Erasmus Exchange) at Delft University of TechnologyMaster of Science (MSc) Electrical Engineering (Systems Decision and Control), Master of Science (MSc) Electrical Engineering (Systems Decision and Control) at Instituto Superior Técnico
Portuguese, English, Spanish
Github Skills (9)
aws-apigateway10
kubernetes10
ca-api-gateway10
amazon-api-gateway10
go10
api-gateway10
kubernetes-pods10
testing10
certificate9
Programming languages (12)
Github contributions (5)
cert-manager/cert-manager
Aug 2020 - Jul 2024
Automatically provision and manage TLS certificates in Kubernetes
Role in this project:
Back-end Developer & Test Automation Engineer
Back-end Developer & Test Automation EngineerContributions:4 reviews, 1 PR, 9 comments in 4 years
Contributions summary:Miguel primarily focused on testing and improving the functionality related to the ACME HTTP01 challenge solver within the cert-manager project. Their contributions involved writing new tests for the `getGatewayHTTPRouteForChallenge` and `ensureGatewayHTTPRoute` functions, demonstrating a strong emphasis on test-driven development. They also addressed issues in the `checkAndUpdateGatewayHTTPRoute` function and made relevant code changes, and fixed a bug that caused issues with gateway API integration.
cert-managerletsencryptssltlscertificates
miguelvr/cert-manager
Aug 2020 - Jul 2024
Automatically provision and manage TLS certificates in Kubernetes
Contributions:12 pushes, 2 branches in 4 years
cert-managerletsencryptsslcertificate-generationtls
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.