categories - Category Theory list
 help / color / mirror / Atom feed
* categories: Postdoc position, Logic and Semantics Group in Tallinn
@ 2023-08-11  9:50 Tarmo Uustalu
  0 siblings, 0 replies; only message in thread
From: Tarmo Uustalu @ 2023-08-11  9:50 UTC (permalink / raw)
  To: categories

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.

The group belongs to the High-Assurance Software Lab of the Department
of Software Science at the School of IT.

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

Send your statement of purpose (cover letter), CV and research
statement to Tarmo Uustalu,, and Niccolò Veltri,, 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

[For admin and other information see: ]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2023-08-13 15:32 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-08-11  9:50 categories: Postdoc position, Logic and Semantics Group in Tallinn Tarmo Uustalu

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox