The LAGER project is looking for one Postdoc and two PhD students to join them on learning abstractions for generalized reasoning, specifically focusing on Answer Set Programming (ASP).

More details can can be found on the project homepage.

We regularly announce open positions at Jobs @ TU and the TU Career Center.