RWTH AACHEN UNIVERSITY UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Job Openings

Various Open Positions for Doctoral Researchers.

Application Deadline:
December 20, 2021.

Contact

Prof. Dr. Ir. Dr. h. c. Joost-Pieter Katoen

52074 Aachen

FaxFax: +49 241 80 22217

h1

h2

UnRAVeL – UNcertainty and Randomness in Algorithms, VErification and Logic

Faculties and Institutions

Navigation

UnRAVeL Broschure Morezu: UnRAVeL Broschure

A toast to UnRAVeL : Prolongation has been granded Morezu: A toast to UnRAVeL : Prolongation has been granded

UnRAVel Alumnus Benjamin Kaminski now professor of theoretical computer Science at Saarland University Morezu: UnRAVel Alumnus Benjamin Kaminski now professor of theoretical computer Science at Saarland University

Completed doctorate: Martin Ritzert Morezu: Completed doctorate: Martin Ritzert

Carologistics wins first hybrid RoboCup Logistics League World Cup 2021 Morezu: Carologistics wins first hybrid RoboCup Logistics League World Cup 2021

Team of Principal Investigators Morezu: Team of Principal Investigators

Successful UnRAVeL Cooperation Morezu: Successful UnRAVeL Cooperation

Interview with Professor Katoen Morezu: Interview with Professor Katoen

Quick Links

Guest Talk: Jean-Francois Raskin: Algorithms for rational verification

Open for all UnRAVeL Members: Talk at QuantLA by Tobias Winkler: Model Checking Temporal Properties of Recursive Probabilistic Programs

Guest Talk: Borzoo Bonakdarpour: Bounded Model Checking for Hyperproperties

A toast to UnRAVeL: Prolongation has been granded

UnRAVel Alumnus Benjamin Kaminski now professor of theoretical computer Science at Saarland University

Completed doctorate: Martin Ritzert

Job Openings

Contact

Footer