Matt Ruiz
Software Engineer at ArcelorMittal
San Sebastián, Autonomous Community of the Basque Country, Spain
Summary
🤩
Rockstar🎓
Top SchoolMatt Ruiz is a software engineer with six years of hands-on experience blending AI research and production software, currently applying his skills at ArcelorMittal. He holds a Computer Engineering degree with a Software Engineering minor and is deepening his AI expertise through a master's, bringing practical experience building anomaly detectors, REST APIs, Dockerized deployments, and PostgreSQL-backed data workflows from a European-funded research project. Comfortable in international, multilingual environments—including study time in South Korea—he pairs front-end experience with Angular and remote lab development with back-end and data science work in Python and Jupyter. Known for quick learning and adaptability, he moves easily between independent research tasks and collaborative engineering, and seeks opportunities to translate AI prototypes into real-world, deployable solutions.
7 years of coding experience
Bachelor's degree, Computer Engineering, Bachelor's degree, Computer Engineering at EHUMaster's degree, Artificial Intelligence, Master's degree, Artificial Intelligence at Universidad Internacional de La RiojaBachelor's degree, Computer Science, Bachelor's degree, Computer Science at Sungkyunkwan University
English, Spanish, Basque, Portuguese, French, Japanese
Github Skills (6)
functional-programming10
elm10
reasonml10
ocaml10
editor9
viper6
Programming languages (2)
Github contributions (5)
ruiz-m/silver-gv
Feb 2025 - Jun 2026
Definition of the Viper intermediate verification language.
Contributions:3 PRs, 10 pushes, 3 branches in 1 year 4 months
ruiz-m/ruiz-m.github.io
Aug 2023 - Oct 2024
Contributions:24 pushes, 1 branch in 1 year 2 months
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.