From: Tarmo Uustalu <tarmo@cs.ioc.ee>
To: categories@mta.ca
Subject: categories: Postdoc position, Logic and Semantics Group in Tallinn
Date: Fri, 11 Aug 2023 12:50:18 +0300 [thread overview]
Message-ID: <E1qVD0Y-0004tr-Ea@rr.mta.ca> (raw)
The Logic and Semantics Group at the Tallinn University of Technology
is seeking an aspiring talented and hard-working young scientist to
fill a departmentally funded postdoc position.
The group, currently consisting of 7 faculty and 4 PhD students,
specializes in functional programming, type theory, mathematical
semantics of programming languages, proof theory, constructive
mathematics, proof assistants, formalization of mathematics and
programming theory. Consult our webpage to get a picture of our work.
https://cs.ioc.ee/lsg/
The group belongs to the High-Assurance Software Lab of the Department
of Software Science at the School of IT.
https://cs.taltech.ee/
The position is for 2 years; the start date is negotiable, preferrably
between 1 Nov 2023 and 1 Feb 2024.
The monthly gross salary will be 2500-3200 EUR depending on the
previous experience of the successful candidate. The deal includes
coverage by the national health insurance system, a paid annual leave
etc. A salary rate like this ensures a high standard of living in
Estonia.
Send your statement of purpose (cover letter), CV and research
statement to Tarmo Uustalu, tarmo@cs.ioc.ee, and Niccolò Veltri,
niccolo@cs.ioc.ee, as soon as possible, but latest by 10 September
2023. We will assess applications as they arrive. With questions about
the research topics of the group, the research environment, the
conditions of the contract or living in Estonia, do not hesitate to
ask.
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
reply other threads:[~2023-08-13 15:32 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=E1qVD0Y-0004tr-Ea@rr.mta.ca \
--to=tarmo@cs.ioc.ee \
--cc=categories@mta.ca \
/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).