From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10539 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Jurriaan Rot Newsgroups: gmane.science.mathematics.categories Subject: PhD position on coalgebra and semantics at Radboud University Date: Thu, 29 Jul 2021 13:48:13 +0200 Message-ID: Reply-To: Jurriaan Rot Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.100.0.2.22\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="17969"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Sat Jul 31 03:13:37 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1m9dZJ-0004Xd-6y for gsmc-categories@m.gmane-mx.org; Sat, 31 Jul 2021 03:13:37 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:40078) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1m9dXM-0004n5-A5; Fri, 30 Jul 2021 22:11:36 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1m9dWS-0000jV-NB for categories-list@rr.mta.ca; Fri, 30 Jul 2021 22:10:40 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10539 Archived-At: There is a 4-year PhD position in theoretical computer science available = at Radboud University.=20 Project: As a PhD candidate on this project, you will conduct research = at the intersection of semantics, category theory and coalgebra. = Coalgebra is an elegant mathematical theory of state-based systems = (transition systems, various kinds of automata, probabilistic models), = based on category theory. In this context, distributive laws capture the = interaction between coalgebra and algebra, and have shown to be very = useful as a general way of modelling programming language semantics, as = well as automata constructions and powerful co-inductive proof = techniques.=20 The aim of the project is to investigate distributive laws in their own = right, and build a toolkit for constructing, combining and analysing = them. You can build on several existing approaches, but will have plenty = of freedom to define your own direction and focus. If you wish to learn more about the project, don't hesitate to get in = touch via jrot@cs.ru.nl We ask: =E2=80=A2 You hold an MSc or equivalent degree in computer science, = mathematics or a closely related field. =E2=80=A2 You are able to work both independently and as part of a = team. =E2=80=A2 You are proficient in English. (Dutch is not required.) =E2=80=A2 Prior knowledge of coalgebra is not required; basic = knowledge of category theory will be helpful. Most important is that you = are excited about abstract structures in theoretical computer science. Application deadline: 10 September 2021.=20 Starting date: flexible, but 1 January 2022 the latest. Application and further info:=20 = https://www.ru.nl/english/working-at/vacature/details-vacature/?recid=3D11= 61943&pad=3D%2fenglish&doel=3Dembed&taal=3Duk All the best, Jurriaan= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]