Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
* [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 
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 --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, back to index

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

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git