From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 7577 invoked from network); 2 Sep 2023 23:57:54 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 2 Sep 2023 23:57:54 -0000 Received: from rr.mta.ca ([198.164.44.159]:52974) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1qcaU6-0008Hk-No; Sat, 02 Sep 2023 20:56:58 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1qcaTg-0003rN-Mf for categories-list@rr.mta.ca; Sat, 02 Sep 2023 20:56:32 -0300 From: Jurriaan Rot MIME-Version: 1.0 (Mac OS X Mail 16.0 \(3731.700.6\)) Date: Thu, 31 Aug 2023 15:56:07 +0200 Subject: categories: PhD position in automata learning at Radboud University To: Jurriaan Rot Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="us-ascii" Precedence: bulk Reply-To: Jurriaan Rot Message-Id: 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-automat= a-learning= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]