work experience
-
research assitant at TU Wien
since Jun 2023investigating methods for solving formula equations in predicate logic under the supervision of Stefan Hetzl
graduate teaching assistant at TU Wien in Vienna
Mar 2021 - Sep 2022 (part-time)tutored exercise groups in algebra, discrete mathematics and calculus for computer science, graded tests and evaluated students on their performance
academic tutor at TU Wien in Vienna
Oct 2019 - Feb 2021 (minor employment)tutored exercise groups in algebra and discrete mathematics for computer science, graded tests and evaluated students on their performance
software engineering intern at Catalysts (now Cloudflight) in Vienna
Jul - Aug 2019worked in a team of software engineers and data scientists to build an AI-enhanced web application based on Kotin, Spring, Typescript and Vue.js
software engineering intern at Catalysts (now Cloudflight) in Vienna
Jul - Aug 2018, Aug - Sep 2017worked in a team of web developers to build a web application for salespeople using Java, Spring, Typescript and Angular
game development intern at BetaDwarf in Copenhagen
Feb - Jul 2016worked on Forced Showdown and Minion Masters using unity with C#
ported the Forced Showdown graphics code to Linux, built a menu system for Minion Masters, and implemented a batch processing system for the Unity editor
iOS app developer for AKTION.TROCKEN in Dornbirn
Mar 2015 - Feb 2016 (part-time, freelance)designed and programmed the initial version of the AKTION.TROCKEN iOS app using Swift and tutored a team of three students on web development
game programmer for Bollwerk in Hagenberg
Nov 2014 - Sep 2016 (part-time, freelance)worked in a team of 3D artists, game designers and programmers to build Bollwerk, a game for the Fun4Four gaming table using Unity with C#
the project initially started as a semester project at University of Applied Sciences Hagenberg and our team continued working on it to publish the game on the Fun4Four gaming platform
software engineering intern at Catalysts (now Cloudflight) in Linz
Jul - Aug 2014developed a web application for developers to automatically conduct performance tests on a big web application
software testing intern at Catalysts (now cloudflight) in Linz
Jul - Aug 2013conducted performance tests for a big web application using JMeter, analyzed and presented the results
diploma project at Mawera (part of Viessmann) in Wolfurt
Jul - Aug 2012developed an Android app prototype that sends real-time video and audio footage from a smartphone camera to support employees to improve customer support as part of the diploma project at HTL Dornbirn
IT support intern at Omicron in Klaus
Aug - Sep 2011maintained and provided computer equipment for other employees
education
phd in computational logic at TU Wien
since 2023investigating methods for solving formula equations in predicate logic under the supervision of Stefan Hetzl
master's degree in technical mathematics at TU Wien
2020 - 2023graduated with distinction, 1.20 grade average
included courses on logic, stochastic processes, differential geometry, complex analysis, functional programming, logic programming, geometric data processing, analysis of algorithms, formal methods and more
bachelor's degree in technical mathematics at TU Wien
2016 - 2020graduated with distinction, 1.16 grade average
included courses on basic and higher analysis, linear and abstract algebra, probability theory, statistics, numerical methods, discrete algorithms and more
bachelor's degree in media technology and design
at University of Applied Sciences Hagenberg2013 - 2016graduated with distinction, 1.26 grade average
included courses on programming, web development, computer graphics, game design, image processing and more
-
matura (high school diploma) at HTL Dornbirn
2008 - 2013graduated with distinction, 1.0 grade average
specialization in business information technology