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=-1.1 required=5.0 tests=DKIMWL_WL_MED,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 16010 invoked from network); 25 Jun 2020 14:57:41 -0000 Received: from mail-oi1-x238.google.com (2607:f8b0:4864:20::238) by inbox.vuxu.org with ESMTPUTF8; 25 Jun 2020 14:57:41 -0000 Received: by mail-oi1-x238.google.com with SMTP id l76sf3134809oib.10 for ; Thu, 25 Jun 2020 07:57:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=nn9sOt9ZpPnUiH7A9N/7C0+e2DQk0Owj40DJZ75f/dY=; b=rs6cY+8OgXj3TYbvDSmyZNpwB2alQetxcgHVYRkKHCj+3/3ZLMfBbCKnQZpHW+7Hyd sYRjgZzg+plez2/IqA8i1YWOLb7fE0HxkU2vsYMyyXRbwCtphPeNxYYMjpZ4RSNV07TQ iz/4TM3l8SjO7JffXS9oM3dpMh5HluxgQjVX8ZLjOddP3TPOzOnUM1aHSKBAHkXt+oAK hJkO4/fMuwqhjCxh2+1EdaGkt67Zrpk2NG6z8NuiQ7XLYl+QuWxrA2QzClDg0qv0JHVO SMapkz/8DkiMzjACYLrTfm0J/+6/N6hOi/GB9GYPkkFHeU+iW8jYMot5Mepx7zQe2dQJ nmpw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=wesleyan.edu; s=wesgmail; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=nn9sOt9ZpPnUiH7A9N/7C0+e2DQk0Owj40DJZ75f/dY=; b=VyBYL1BkbaBHLRjwOykiL5PobrT0cyQkAubZorGC6x7Ts1GVolr/HybsW2ZgaaofrI vxPET70RkH3GWswDGYnn/mryQ8ZMyfSoF0yZWsMRGKylIjJOt3ahQr2BtpaW/brBp56O akTlH9uDjmgCAo8IBAXYTE/frZAy8sdj0QvF4= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=nn9sOt9ZpPnUiH7A9N/7C0+e2DQk0Owj40DJZ75f/dY=; b=MDbxJDIJ+Hh3uRSFXIDWd83pvehy/QoK28kWfcBqNwkgQ1jKfEF9pfg1ysxl0tV+Vh IDbeeZef55csq2+6/peiUdK9QMwLl2GYT+usNt3zK7D2Nq/5DrDbo+xcFGw1p2VDXRKC cBWXUqmidhn4rgNkUx7jMuOXNA8OFfx/o3LVmYiy+pFMhyjuuPMsm8Qt5jxPmX2D9kXC yK6sjcMl4O/5xxXr1rafeTkSSZRByW+RvQq+nZ4SIEkjgW8OCQl3QKTph66vMH3IIMGa N/eaK4JPLHwDhB2PSTNiJqeRZgkgheDOvhuQsuvyBvVc8E9pN12yAIvzH7OUfaYNapdN JwbA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AOAM5312NjqYasUU8WK6EluidqF8VVXCehXKVBhjUP7NytI0bCn/PQ7H FWzgRY4ZageZkzTYdxMSoLQ= X-Google-Smtp-Source: ABdhPJyTABb4S4xUbHS0CoCvJ2CiCBEn958SAPcapVg1wmvXVgyVGMODCkdK+ETnopDkBXPPkcBrWw== X-Received: by 2002:aca:a84d:: with SMTP id r74mr2601113oie.142.1593097060528; Thu, 25 Jun 2020 07:57:40 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6830:11ce:: with SMTP id v14ls1256176otq.0.gmail; Thu, 25 Jun 2020 07:57:40 -0700 (PDT) X-Received: by 2002:a05:6830:14c2:: with SMTP id t2mr26587256otq.5.1593097060047; Thu, 25 Jun 2020 07:57:40 -0700 (PDT) Date: Thu, 25 Jun 2020 07:57:39 -0700 (PDT) From: Edward Morehouse To: Homotopy Type Theory Message-Id: Subject: [HoTT] Fully funded PhD positions at Tallinn University of Technology MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_182_398118746.1593097059473" X-Original-Sender: emorehouse@wesleyan.edu Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , ------=_Part_182_398118746.1593097059473 Content-Type: multipart/alternative; boundary="----=_Part_183_1033090030.1593097059473" ------=_Part_183_1033090030.1593097059473 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable The Compositional Systems and Methods group at the Tallinn University of=20 Technology, Estonia (https://compose.ioc.ee) is seeking highly qualified=20 PhD candidates. The ideal student should have a solid grounding in category theory, and in= =20 at least one of the following areas: programming languages, concurrency=20 theory, quantum computing, database and information systems, or machine=20 learning. The group=E2=80=99s lingua franca is category theory and our research conce= rns=20 mathematical foundations, as well as various applications in computer=20 science and related disciplines. We are working on relational algebra and= =20 functorial semantics, open games, process languages for smart contracts,=20 string diagrams, compositional descriptions of models of computation and=20 concurrency, lenses and optics in functional programming, type theory, and= =20 several other topics. The group is led by Pawel Sobocinski, has two postdoctoral researchers,=20 Edward Morehouse and Fosco Loregian, and four PhD students: Elena Di=20 Lavore, Nathan Haydon, Chad Nester and Mario Rom=C3=A1n. One additional=20 postdoctoral researcher will be recruited in the autumn of 2020. Our=20 research is supported by the ESF funded Estonian IT Academy research=20 measure. The group=E2=80=99s ethos emphasises openness, and inter-group collaboratio= n is=20 highly encouraged. We maintain an active member-led seminar series and hold= =20 regular group meetings, research retreats in the Estonian countryside, and= =20 various cross-cutting research activities. The successful students will be awarded a generous stipend and be provided= =20 with computing equipment and resources for travelling to conferences,=20 summer schools, and other events relevant to their projects. Applicants should hold a Masters degree in Computer Science, Mathematics or= =20 a closely related field. To apply, send a CV and a motivation letter=20 outlining your research interests to Pawel Sobocinski=20 pawel.sobocinski@taltech.ee. APPLICATION DEADLINE: July 31, 2020 STARTING DATE: November 2020 or as per agreement Fosco Loregian Edward Morehouse Pawel Sobocinski --=20 You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/= HomotopyTypeTheory/be861f35-c084-47c8-be72-bbf1d17b82e7o%40googlegroups.com= . ------=_Part_183_1033090030.1593097059473 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
The Compositional Systems and Methods group at the Tallinn= University of Technology, Estonia (https://compose.ioc.ee) is seeking high= ly qualified PhD candidates.

The ideal student should have a solid g= rounding in category theory, and in at least one of the following areas: pr= ogramming languages, concurrency theory, quantum computing, database and in= formation systems, or machine learning.

The group=E2=80=99s lingua f= ranca is category theory and our research concerns mathematical foundations= , as well as various applications in computer science and related disciplin= es. We are working on relational algebra and functorial semantics, open gam= es, process languages for smart contracts, string diagrams, compositional d= escriptions of models of computation and concurrency, lenses and optics in = functional programming, type theory, and several other topics.

The g= roup is led by Pawel Sobocinski, has two postdoctoral researchers, Edward M= orehouse and Fosco Loregian, and four PhD students: Elena Di Lavore, Nathan= Haydon, Chad Nester and Mario Rom=C3=A1n. One additional postdoctoral rese= archer will be recruited in the autumn of 2020. Our research is supported b= y the ESF funded Estonian IT Academy research measure.

The group=E2= =80=99s ethos emphasises openness, and inter-group collaboration is highly = encouraged. We maintain an active member-led seminar series and hold regula= r group meetings, research retreats in the Estonian countryside, and variou= s cross-cutting research activities.

The successful students will be= awarded a generous stipend and be provided with computing equipment and re= sources for travelling to conferences, summer schools, and other events rel= evant to their projects.

Applicants should hold a Masters degre= e in Computer Science, Mathematics or a closely related field. To apply, se= nd a CV and a motivation letter outlining your research interests to Pawel = Sobocinski pawel.sobocinski@taltech.ee.

APPLICATION DEA= DLINE: July 31, 2020
STARTING DATE: November 2020 or as per agreement
Fosco Loregian
Edward Morehouse
Pawel Sobocinski

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.c= om/d/msgid/HomotopyTypeTheory/be861f35-c084-47c8-be72-bbf1d17b82e7o%40googl= egroups.com.
------=_Part_183_1033090030.1593097059473-- ------=_Part_182_398118746.1593097059473--