Miguel Martín

Senior Software Engineer at Red Hat

Madrid, Community of Madrid, Spain
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
Miguel Martín is a Senior Software Engineer based in Madrid with nine years of experience focused on virtualization, high-availability systems, cloud computing, and distributed task execution. At Red Hat he has progressed through maintenance and senior engineering roles, contributing pragmatic backend solutions and DevOps fixes that improve reliability and provider interoperability. An active FOSS contributor, Miguel has worked on notable open-source projects such as oVirt Engine and OpenShift assisted-service, delivering backend enhancements and provider-specific scheduling fixes that demonstrate deep system-level understanding. He combines hands-on bug fixes and feature work with operational changes (manifests, endpoints, and scheduler behavior) to reduce side effects in production deployments. Known for bridging infrastructure and application concerns, he often tackles subtle integration issues like unit discrepancies and flexible network operations. Miguel’s background as a longtime systems engineer gives him a practical edge in turning complex distributed requirements into maintainable, production-ready solutions.
code9 years of coding experience
job16 years of employment as a software developer
bookBachelor of Science - BS Computer Science, Bachelor of Science - BS Computer Science at Universidad de Castilla-La Mancha
languagesSpanish, English
github-logo-circle

Github Skills (25)

kubernetes10
java10
javas10
go10
openshift10
virtualization10
kubernetes-pods10
management10
rest-api10
api-design9
restful-api9
api-rest9
yaml9
automations8
automation8

Programming languages (10)

TypeScriptJavaShellRustCMakefileSCSSJavaScript

Github contributions (5)

github-logo-circle
openshift/assisted-service

Jun 2021 - Jul 2022

Role in this project:
userBack-end Developer & DevOps Engineer
Contributions:38 reviews, 9 commits, 12 PRs in 1 year
Contributions summary:Miguel primarily focused on enhancing the OpenShift assisted-service. They contributed to back-end functionality by adding features such as scheduling workloads on masters and fixing database fields for vsphere provider. Additionally, the user worked on the DevOps side by fixing the supported platforms endpoint and fixing manifest file pattern for oVirt provider. Furthermore, the user enhanced the schedulable masters feature by implementing provider specific implementations and setting the replicas to 0 in the machine set file for the oVirt provider to avoid the side effects of enabling scheduling on masters.
oVirt/ovirt-engine

Sep 2018 - Mar 2019

The oVirt Engine virtualization manager
Role in this project:
userBackend Developer
Contributions:3 reviews, 8 commits, 2 PRs in 5 months
Contributions summary:Miguel primarily contributed to the oVirt Engine's backend, focusing on bug fixes, and enhancements related to the virtualization management features. Their work included renaming CPU types, enabling SCL for the engine-vacuum.sh script, fixing unit discrepancies for bandwidth parameters, and allowing for flexible network attachment updates and removals using either network ID or name. The user demonstrated an understanding of the engine's internal components and their interactions.
defoldlibvirtovirtvirtualizationovirt-engine
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
Miguel Martín - Senior Software Engineer at Red Hat