Andreas Humenberger
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Andreas Humenberger
- Current 10 years and 5 months, since 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 months, Sep 2018 - Dec 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 months, Oct 2014 - Jul 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 year and 1 month, 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 years and 3 months, Nov 2016 - Jan 2021
Logical Methods in Computer Science
TU Wien
- 2014 - 2016
Computational Intelligence
TU Wien
- 3 years and 7 months, Oct 2010 - Apr 2014
Software & Information Engineering
TU Wien
- 2004 - 2009
EDV und Organisation
HTL Leonding
Sprachen
German
C2 (Verhandlungssicher / Muttersprachlich)
English
C1 (Fließend)
XING Mitglieder mit ähnlichen Profilangaben
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.
21 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.