Patrick Nossol
Fähigkeiten und Kenntnisse
Werdegang
Berufserfahrung von Patrick Nossol
- 2 Monate, Sep. 2024 - Okt. 2024
Wissenschaftliche Hilfskraft
RWTH Aachen, Software Modeling and Verification Group
Paper basierend auf Masterarbeit zum Thema Software Verification. Einreichung zur Konferenz CAV 2025 (https://conferences.i-cav.org/2025).
- 2021 - 2023
Wissenschaftliche Hilfskraft
RWTH Aachen, Virtual Reality & Immersive Visualization Group
Programmieren eines Motion Capture Systems in der Unreal Engine für eine Studie. Resultierend in Paper "Who's next?: Integrating Non-Verbal Turn-Taking Cues for Embodied Conversational Agents" veröffentlicht unter https://dl.acm.org/doi/10.1145/3570945.3607312.
Extrachor Theater Aachen (10 Produktionen). Projekt bei Opera Zuid (Niederlande). Vokalensemble Caleidon (Spegtra 2022/23).
Ausbildung von Patrick Nossol
- 6 Jahre und 11 Monate, Okt. 2017 - Aug. 2024
Informatik
RWTH Aachen
Note: 1.8. Masterarbeit: Entailments in quantitative separation logic with recursive definitions: constructing cyclic proofs (Note: 1.0). Veröffentlicht auf https://publications.rwth-aachen.de/record/994779.
Sprachen
Deutsch
Muttersprache
Englisch
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.
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.