I have a 4-year PhD position available at Radboud University. Project: This PhD position is part of the NWO VIDI project Approximation, Abstraction and Apartness in Automata Learning (APPLE). The project is on model learning, which is a family of techniques for automatically constructing automata models of black-box systems, by systematically running tests and making observations. The aim of the project is to boost the scalability of automata learning techniques, focusing on incorporation of approximation and abstraction in learning algorithms and the underlying theory. For details, see link below or contact me. Starting date: between November 2023 and summer 2024. Application deadline: 24 September 2023. More information and application: https://www.ru.nl/en/working-at/job-opportunities/phd-candidate-in-automata-... [For admin and other information see: http://www.mta.ca/~cat-dist/ ]