Nuno Machado
Backend Engineer (AI Agents) at Maze
Madrid, Community of Madrid, Spain
Summary
👤
Senior🎓
Top SchoolNuno Machado is a backend engineer and researcher with 11 years of experience building scalable ML and distributed systems, currently developing autonomous AI agents for cloud vulnerability triage at Maze. He combines a strong academic foundation (PhD) and published research in distributed systems with hands-on MLOps and production ML experience from Amazon, where he accelerated model evaluation and deployed monitoring workflows for multimodal systems. His career spans building high-throughput event pipelines, low-latency fraud detection, and tooling that cut evaluation cycles threefold—demonstrating a knack for translating research ideas into production-grade automation. He occasionally collaborates with INESC TEC as an external researcher, maintaining a bridge between cutting-edge research and practical engineering. Based in Madrid, he brings a multidisciplinary toolkit across Java, Python, AWS, Spark/Scala, and containerized cloud platforms, and has a track record of delivering systems that process millions of daily events. An understated detail: his research roots include tools that automatically detect and isolate concurrency bugs, reflecting deep expertise in reliability and debugging for complex software.
11 years of coding experience
9 years of employment as a software developer
Bachelor of Science - BS Informatics Engineering, Bachelor of Science - BS Informatics Engineering at Universidade do MinhoDoctor of Philosophy - PhD Information Systems and Computer Engineering, Doctor of Philosophy - PhD Information Systems and Computer Engineering at Instituto Superior Técnico
English, Portuguese, Italian, Spanish
Github Skills (23)
prediction-model9
sports-data9
use-case8
lime7
regression7
data-race6
falcon6
science6
trace6
constraint6
reference-implementation6
classification6
smt5
teradata5
race-detection5
Programming languages (4)
Github contributions (5)
nunomachado/nando-dql
Apr 2018 - Jul 2024
Nando - A Deep Q-Learning Agent for Tic-Tac-Toe
Contributions:1 PR, 24 pushes, 7 branches in 6 years 4 months
nunomachado/nunomachado.github.io
Mar 2020 - Dec 2021
Contributions:3 pushes, 1 branch in 1 year 9 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.