[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://www.ru.nl/en/working-at/job-opportunities/phd-candidate-in-automata-learning__;!!IBzWLUs!XJ9DFV2l2RaAjd6tU75ztkEHAsrtJyEy4FWZJiCYmguCYXALuWQ1Dn8jvDxLEa9sdZ9s4IXdDutcg_j8DWAnpDSpcoM$
