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.
Tarmo Uustalu (Mar 15 2024 at 11:15):The Logic and Semantics Group at the Department of Software Science of
the Tallinn University of Technology (https://www.taltech.ee/)
conducts research into type theory, proof theory, category theory,
languages and automata, semantics of programming languages,
formalization of mathematics and programming theory.
Detailed information about our profile, incl. our publications, is
available from our webpage:
We are currently seeking strong and motivated candidates for one or
two PhD positions in one of the following research areas:
type theory and formalization of mathematics (Niccolò Veltri)
categorical proof theory (Niccolò Veltri, Tarmo Uustalu)
languages and automata (Hellis Tamm, Hendrik Maarand)
categorical program semantics (Tarmo Uustalu)
cellular automata (Silvio Capobianco)
We are happy to discuss potential PhD topics in all of these areas.
The nominal PhD study time at TUT is 4 years. PhD studentships are
salaried positions. At this moment, we pay PhD students 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
living standard in Estonia for this career stage and includes
insurance by the national health system.
The expected start time is summer or autumn 2024.
To apply, please send a motivation letter together with your CV and
copies of your diploma(s) and transcripts to Tarmo Uustalu,
firstname at cs . ioc . ee (the lab head) and the prospective supervisor(s)
soonest, latest by 7 April 2024. We will consider applications as they
arrive. There is also a subsequent formal admission process.