From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: categories@mq.edu.au
Subject: PhD positions in Tallinn (Logic and Semantics)
Date: Fri, 15 Mar 2024 10:24:15 +0000 [thread overview]
Message-ID: <20240315102415.1de5a5af@kan> (raw)
[-- Attachment #1: Type: text/plain, Size: 2467 bytes --]
The Logic and Semantics Group at the Department of Software Science of
the Tallinn University of Technology (https://www.taltech.ee/<https://url.au.m.mimecastprotect.com/s/FgMYCZY146sZj8kQsKx5xV?domain=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:
https://cs.ioc.ee/lsg/<https://url.au.m.mimecastprotect.com/s/k8n5C1WLjwsyZBPqsXHIkJ?domain=cs.ioc.ee>
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
<tarmo@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.
You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.
View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>
[-- Attachment #2: Type: text/html, Size: 4461 bytes --]
reply other threads:[~2024-03-15 10:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20240315102415.1de5a5af@kan \
--to=tarmo@cs.ioc.ee \
--cc=categories@mq.edu.au \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).