Felix Hajuj
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Felix Hajuj
- Bis heute 3 Jahre, seit Okt. 2023
Software Developer
LMU Munich – Ludwig-Maximilians-Universität München
- Built ExpreSimp, a Python tool that simplifies logical expressions through a multi-stage pipeline (SMT encoding, DNF, abstract interpretation), evaluated at scale. - Integrated new analytical algorithms into large verification systems (CPAchecker, DescribErr) in Python and Java; contributed to research submitted to ISSRE 2026 / FSE. - Designed and ran large-scale benchmark evaluations on compute clusters; automated data parsing, processing, and analysis.
Ausbildung von Felix Hajuj
- Bis heute 2 Jahre und 7 Monate, Okt. 2024 - Apr. 2027
Master's degree
Ludwig-Maximilians-Universität München
- 2020 - 2024
Bachelor of Applied Science - BASc
Ludwig-Maximilians Universität München
Sprachen
Deutsch
C1 (Fließend)
Englisch
C2 (Verhandlungssicher / Muttersprachlich)
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.