Miroslav Stankovic
Machine Learning Engineer at nyra health
Austria
Summary
🤩
Rockstar🎓
Top SchoolMiroslav Stankovic is a Machine Learning Engineer with 11 years of experience combining deep academic training and applied research to build robust ML systems. He holds a PhD in Logical Methods in Computer Science from TU Wien and earned first-class degrees in Artificial Intelligence and Mathematics, reflecting strong theoretical foundations. His career spans postdoctoral research and industry roles—from research internships at Certora and the National Institute of Informatics to applied positions at nyra health—bridging formal methods, research engineering, and production ML. Comfortable moving between pure research and hands-on engineering, he has a track record of translating complex formal and mathematical ideas into practical solutions in healthcare and security-adjacent domains. Based in Austria, he brings a rare mix of formal logic expertise and real-world deployment experience that helps teams deliver reliable, verifiable ML applications.
10 years of coding experience
1 year of employment as a software developer
Vienna University of TechnologyBachelor’s Degree, Artificial Intelligence & Mathematics, First Class, Bachelor’s Degree, Artificial Intelligence & Mathematics, First Class at The University of EdinburghBachelor's Degree, Mathematics, First Class, Bachelor's Degree, Mathematics, First Class at University of Strathclyde
Slovak, English
Github Skills (12)
felix10
routes10
security-policy10
networking9
security9
docker9
agent8
golang8
calico8
kubernetes7
go7
ranking3
Programming languages (1)
Github contributions (5)
markopuza/Problem-Solving-Maths-Group
Oct 2015 - Jul 2017
Contributions:2 PRs, 32 pushes, 1 branch in 1 year 9 months
mathmathssolvingmathematicsuniversity-of-edinburgh
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.