Márton Hajdu
Research Software Engineer at Technische Universität Wien
Vienna, Austria
Summary
👤
Senior🎓
Top SchoolMárton Hajdu is a research software engineer based in Vienna with 11 years of hands-on experience in cross-platform C/C++ development, WebRTC, and media systems, now focusing on computational logic and formal verification. He combines industry-grade product experience from LogMeIn’s media teams with academic depth gained through a PhD and ongoing Master's studies in Logic and Computation at TU Wien. At TU Wien he has transitioned from project assistant and PhD researcher to research software engineer, bridging algorithm design and practical, verifiable implementations. Comfortable in multiple languages (JS, Java, C#, Python), he excels at turning formal methods into working software for both desktop and mobile platforms. Colleagues benefit from his pragmatic engineering mindset informed by rigorous research, and outside work he channels pattern and rhythm as a drummer who also produces occasional drum videos. An uncommon strength is his blend of low-level multimedia engineering experience with a deep interest in formal verification, making him effective at building reliable, auditable systems.
11 years of coding experience
4 years of employment as a software developer
Vienna University of TechnologyBachelor's degree Computer Software Engineering, Bachelor's degree Computer Software Engineering at University of Szeged
Hungarian, English, German
Github Skills (8)
theorem10
benchmark8
cgroups7
measurement7
benchmarking7
linux6
python6
map-generator4
Programming languages (4)
Github contributions (5)
mezpusz/forsyte-website
Nov 2021 - Jan 2023
Contributions:56 pushes, 1 branch in 1 year 1 month
vprover/benchexec
Nov 2021 - Jan 2025
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Contributions:6 pushes, 1 branch in 3 years 2 months
benchmarkingperformance-analysisreliablebenchmarkmeasurement
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.