From: Edward Morehouse <emorehouse@wesleyan.edu>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] Fully funded PhD positions at Tallinn University of Technology
Date: Thu, 25 Jun 2020 07:57:39 -0700 (PDT) [thread overview]
Message-ID: <be861f35-c084-47c8-be72-bbf1d17b82e7o@googlegroups.com> (raw)
[-- Attachment #1.1: Type: text/plain, Size: 2517 bytes --]
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, or machine
learning.
The group’s lingua franca is category theory and our research concerns
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 is led by Pawel Sobocinski, has two postdoctoral researchers,
Edward Morehouse and Fosco Loregian, and four PhD students: Elena Di
Lavore, Nathan Haydon, Chad Nester and Mario Román. 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 ethos emphasises openness, and inter-group collaboration is
highly encouraged. We maintain an active member-led seminar series and hold
regular group meetings, research retreats in the Estonian countryside, and
various cross-cutting research activities.
The successful students will be awarded a generous stipend and be 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
Fosco Loregian
Edward Morehouse
Pawel Sobocinski
--
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 email 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.
[-- Attachment #1.2: Type: text/html, Size: 2827 bytes --]
reply other threads:[~2020-06-25 14:57 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=be861f35-c084-47c8-be72-bbf1d17b82e7o@googlegroups.com \
--to=emorehouse@wesleyan.edu \
--cc=HomotopyTypeTheory@googlegroups.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).