Andreas Humenberger
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Andreas Humenberger
- Bis heute 9 Jahre und 7 Monate, seit 2016
Research Assistant
TU Wien
Research in the area of software verification and AI. Developed and implemented algebra-based algorithms for reasoning about numeric loops in the context of software verification. Designed and developed software in Julia and C/C++.
- 4 Monate, Sep. 2018 - Dez. 2018
Research Intern
Princeton University
Developed and implemented algorithms in the area of software verification in OCaml.
- 2015 - 2016
Research Assistant
TU Wien
Research in Mathematical Logic.
- 10 Monate, Okt. 2014 - Juli 2015
Teaching Assistant at Knowledge-Based Systems Group
TU Wien
Prepared and graded student projects. Covered topics include SAT Solving, Answer-Set Programming and Description Logics.
- 2011 - 2014
Software Engineer
Fabasoft R&D GmbH
Developed and maintained a file manager extension for synchronizing offline documents with a web service on macOS. Used programming languages include C/C++ and Objective-C.
- 1 Jahr und 1 Monat, Aug. 2009 - Aug. 2010
Software Engineer
Fabasoft R&D GmbH
Developed and maintained a file manager extension for synchronizing offline documents with a web service on Windows, Linux and macOS (focus on the latter). Used programming languages include C/C++ and Objective-C.
- 2008 - 2009
Software Tester
GoldenSource
Ausbildung von Andreas Humenberger
- 4 Jahre und 3 Monate, Nov. 2016 - Jan. 2021
Logical Methods in Computer Science
TU Wien
- 2014 - 2016
Computational Intelligence
TU Wien
- 3 Jahre und 7 Monate, Okt. 2010 - Apr. 2014
Software & Information Engineering
TU Wien
- 2004 - 2009
EDV und Organisation
HTL Leonding
Sprachen
Deutsch
Muttersprache
Englisch
Fließend
XING – Das Jobs-Netzwerk
Über eine Million Jobs
Entdecke mit XING genau den Job, der wirklich zu Dir passt.
Persönliche Job-Angebote
Lass Dich finden von Arbeitgebern und über 20.000 Recruiter·innen.
22 Mio. Mitglieder
Knüpf neue Kontakte und erhalte Impulse für ein besseres Job-Leben.
Kostenlos profitieren
Schon als Basis-Mitglied kannst Du Deine Job-Suche deutlich optimieren.