[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Compositionality Group
(https://urldefense.com/v3/__https://compose.ioc.ee/__;!!IBzWLUs!ReCByX5IvRiMf1kkc76-WD8NrNGZ4uMiKmqaV-h1KHxyeMGphmcOHalryyf0xMMthWoGs1Q5ntEplJNo2IS1v8BKu8vUQzu8Wg$
) at TalTech is recruiting PhD
students. We are seeking candidates for **up to four fully funded PhD
positions**
in one of the following research areas:
- process theory for security protocols and cryptography
(Pawel Sobocinski, Amar Hadzihasanovic)
- Markov categories and probabilistic symbolic logic
(Pawel Sobocinski, Fosco Loregian)
- quantum topological fault tolerance and higher-dimensional diagrams
(Amar Hadzihasanovic, Pawel Sobocinski)
- categorical approaches to formal language theory
(Fosco Loregian, Pawel Sobocinski)
The group offers an attractive and stimulating working environment, with an
active
and growing community of researchers in in the Compositionality Group as well
as in
the closely adjacent Logic and Semantics Group
(https://urldefense.com/v3/__https://cs.ioc.ee/lsg/__;!!IBzWLUs!ReCByX5IvRiMf1kkc76-WD8NrNGZ4uMiKmqaV-h1KHxyeMGphmcOHalryyf0xMMthWoGs1Q5ntEplJNo2IS1v8BKu8u80h56Ug$
) group led
by Tarmo Uustalu.
PhD studentships are salaried positions for 4 years. PhD students are paid a
taxable
gross salary of 1828 EUR/month (~1450 EUR/month after taxes), topped up with a
tax-free stipend of 500 EUR/month. This ensures a good standard of living in
Estonia
and includes insurance by the national health system.
The expected start time is autumn 2024.
To apply, you should hold an MSc degree (or equivalent) in Computer Science,
Mathematics or a closely related field. Please send a motivation letter together
with your CV, and topic of interest to Pawel Sobocinski (pas...@taltech.ee)
by **14 April 2024**.
