* [HoTT] Fully funded PhD positions at Tallinn University of Technology
@ 2020-06-25 14:57 Edward Morehouse
0 siblings, 0 replies; only message in thread
From: Edward Morehouse @ 2020-06-25 14:57 UTC (permalink / raw)
To: Homotopy Type Theory
[-- 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
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
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
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
APPLICATION DEADLINE: July 31, 2020
STARTING DATE: November 2020 or as per agreement
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 HomotopyTypeTheoryemail@example.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 --]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-06-25 14:57 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-06-25 14:57 [HoTT] Fully funded PhD positions at Tallinn University of Technology Edward Morehouse
Discussion of Homotopy Type Theory and Univalent Foundations
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://inbox.vuxu.org/hott
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V1 hott hott/ http://inbox.vuxu.org/hott \
Example config snippet for mirrors.
Newsgroup available over NNTP:
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git