From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10244 Path: news.gmane.io!.POSTED.ciao.gmane.io!not-for-mail From: Fosco Loregian Newsgroups: gmane.science.mathematics.categories Subject: Fully funded PhD positions at Tallinn University of Technology Date: Tue, 23 Jun 2020 12:13:46 +0000 Message-ID: Reply-To: Fosco Loregian Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="ciao.gmane.io:159.69.161.202"; logging-data="124168"; mail-complaints-to="usenet@ciao.gmane.io" To: categories Original-X-From: majordomo@rr.mta.ca Tue Jun 23 20:50:21 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.55]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jnnzx-000WAs-2j for gsmc-categories@m.gmane-mx.org; Tue, 23 Jun 2020 20:50:21 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:58216) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1jnnzP-0008Hw-LF; Tue, 23 Jun 2020 15:49:47 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1jnnzM-0000Bj-Nj for categories-list@rr.mta.ca; Tue, 23 Jun 2020 15:49:44 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10244 Archived-At: The Compositional Systems and Methods group at the Tallinn University of Technology, Estonia (https://compose.ioc.ee) is seeking highly qualified PhD candidates. The ideal student should have a solid grounding in category theory, and in at least one of the following areas: programming languages, concurrency theory, quantum computing, database and information systems, and machine learning. The group is led by Prof Pawel Sobocinski, has two postdoctoral researchers, Dr Edward Morehouse (https://emorehouse.wescreates.wesleyan.ed= u) and Dr Fosco Loregian (http://tetrapharmakon.github.io), and four PhD students: Elena Di Lavore, Dr Nathan Haydon, Chad Nester and Mario Rom=C3= =A1n. One additional postdoctoral researcher will be recruited in the autumn of 2020. Our research is supported by the ESF funded Estonian IT Academy research measure. The group's lingua franca is category theory and our research concerns both mathematical foundations, as well as various applications in computer science and related disciplines. We are working on relational algebra and functorial semantics, open games, process languages for smart contracts, string diagrams, compositional descriptions of models of computation and concurrency, lenses and optics in functional programming, type theory, and several other topics. The group's ethos emphasises openness, and inter-group collaboration is highly encouraged. We maintain an active member-led seminar series ( https://compose.ioc.ee/seminars/), hold regular group meetings, research retreats and saunas in the Estonian countryside, and various cross-cutting research activities. The successful students will be awarded a generous stipend, provided with computing equipment and resources for travelling to conferences, summer schools, and other events relevant to their projects. Applicants should hold a Masters degree in Computer Science, Mathematics or a closely related field. To apply, send a CV and a motivation letter, outlining your research interests, to Pawel Sobocinski < pawel.sobocinski@taltech.ee>. APPLICATION DEADLINE: July 31, 2020 STARTING DATE: November 2020 or as per agreement Pawel Sobocinski Fosco Loregian [For admin and other information see: http://www.mta.ca/~cat-dist/ ]