You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
John Baez (Jun 27 2020 at 18:04):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. They 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