Jonas Schöpf
Data Software Scientist
Greater Innsbruck Austria
Summary
👤
Senior🎓
Top SchoolJonas Schöpf is a Data Software Scientist with nine years of experience blending theoretical computer science and practical data/software engineering from Innsbruck, Austria. He holds advanced degrees and is pursuing a PhD while moving between academic research and industry roles, currently working at Data Lab Hell GmbH and operating as a self-employed entrepreneur. His background includes teaching and research in term rewriting, functional programming, and information security, reflecting a deep specialization in formal methods and programming languages. Jonas frequently translates formal theory into applied tools and workflows, a skill hinted at by his seminar and course-instruction history alongside research projects. Beyond academia he brings pragmatic delivery experience and an eye for elegant, verifiable solutions where others see undecidable complexity.
9 years of coding experience
7 years of employment as a software developer
Oregon Programming Languages Summer School, Oregon Programming Languages Summer School at University of OregonDoctor of Philosophy - PhD, Computer Science, Doctor of Philosophy - PhD, Computer Science at Universität Innsbruck
English, German, Latin, Japanese
Github Skills (68)
rdiff-backup10
rsync9
multi-monitor9
backup9
theorem9
hackage8
browser8
keyboard8
qt8
python8
typescript8
vala7
editor7
vim7
cabal7
Programming languages (11)
Github contributions (5)
dio4ev/FastLAS
Sep 2021 - Sep 2023
Contributions:4 pushes in 2 years
dio4ev/brightness-handling-with-xrandr
Jul 2016 - Mar 2017
Contributions:18 pushes, 1 branch in 8 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.