Miroslav Stankovič

Miroslav Stankovic is a Slovakia-born computer scientist and machine learning engineer. He competed for Slovakia at the International Mathematical Olympiad (IMO 2013, Honourable Mention). He studied mathematics at the University of Strathclyde and Artificial Intelligence & Mathematics at the University of Edinburgh, then completed a PhD in Logical Methods in Computer Science at TU Wien. His professional background spans research internships (IPAM applied mathematics, National Institute of Informatics, Certora research engineering) and a trading internship at Susquehanna International Group, plus work as an ML engineer at nyra health.

Notes10

• Quant employment verification: CONFIRMED. Miroslav Stankovic (LinkedIn: miroslav-stankovic; identity supported by IMO 2013 Slovakia honourable mention plus the Edinburgh/Strathclyde -> TU Wien education path) has one recorded quantitative-finance role: Assistant Trader Intern at Susquehanna International Group, LLP (SIG). SIG is a genuine quantitative trading and market-making firm (its own site describes it as a global quantitative trading firm). This is an actual internship role, not a student program. CAVEAT: the role evidence is INDEX-ONLY (LinkedIn/people-index derived, not an independent primary source); treat the title/dates as index-reported. No other quant-finance employer appears: Certora is Web3 formal-verification/security (not trading), nyra health is digital neurotherapy, and the remaining internships (IPAM, NII, Metaswitch) are research/software roles. The name-based 'quant' signal is absent; SIG is the sole quant-finance link.Jan 1, 2015
• Career timeline (index-reported): Software Development Intern at Metaswitch Networks; Assistant Trader Intern at Susquehanna International Group; Applied Mathematics Research Intern at the Institute for Pure and Applied Mathematics (IPAM, UCLA); Research Intern at Japan's National Institute of Informatics (NII); Research Engineer Intern at Certora; Postdoctoral Researcher at TU Wien; then Machine Learning Engineer at nyra health. Dates are not individually given in the index, so the ordering is sequence-only.
• Won the Radhia Cousot Best Paper Award 2022 (young researchers) at the 29th Static Analysis Symposium (SAS) alongside Daneshvar Amrollahi and Marcel Moosbrugger, per TU Wien Informatics.Dec 1, 2022
• Co-authored 'This Is the Moment for Probabilistic Loops' (OOPSLA 2022), a static-analysis technique deriving higher moments for probabilistic loops, with Marcel Moosbrugger, Ezio Bartocci and Laura Kovacs.Apr 15, 2022
• Represented Slovakia at the International Mathematical Olympiad in 2013 (honourable mention, 9 points, rank 335) and 2012, per the official IMO record for participant id 21326; also a Bronze Medal at the Middle European Mathematical Olympiad (MEMO) and the Slovak Ministry of Education's Award of Saint Gorazd.Jul 1, 2013
• PhD in 'Logical Methods in Computer Science' at TU Wien; undergraduate Artificial Intelligence & Mathematics at the University of Edinburgh (2015-2018) preceded by one year of Mathematics at the University of Strathclyde (2014-2015). Rooted in formal methods/program analysis under the TU Wien logic group.
• Part of a TU Wien team honoured with a Best Paper Award at QEST 2022 (inter-faculty cooperation), confirming sustained formal-methods publication output during the PhD.Sep 1, 2022
• Public research footprint: arXiv (2204.07185), Google Scholar profile and an ORCID record (0000-0001-5978-7475); a DBLP entry exists under pid 241/5425 but DBLP blocks scraping (Anubis proof-of-work).
• Current employer nyra health is a Vienna digital-health company (medical-device-certified neurotherapy for speech/cognition using ML), not a finance firm - so the ML-engineer role is outside quantitative finance.
• GitHub account miroslav21 (github.com/miroslav21) matches the probInG/probabilistic-loops research line; the account has ~1 follower and low public activity, and no personal website or blog is linked from the LinkedIn-backed profile or the GitHub account.
• Certora, where he was a Research Engineer Intern, builds formal-verification tooling for blockchain smart contracts (Web3 security), not trading - so it does not classify as quantitative finance.