From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=0.7 required=5.0 tests=LOCALPART_IN_SUBJECT autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 23310 invoked from network); 13 Aug 2023 15:32:23 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 13 Aug 2023 15:32:23 -0000 Received: from rr.mta.ca ([198.164.44.159]:51792) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1qVD12-0004w5-Fn; Sun, 13 Aug 2023 12:28:28 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1qVD0Y-0004tr-Ea for categories-list@rr.mta.ca; Sun, 13 Aug 2023 12:27:58 -0300 Date: Fri, 11 Aug 2023 12:50:18 +0300 From: Tarmo Uustalu To: categories@mta.ca Subject: categories: Postdoc position, Logic and Semantics Group in Tallinn MIME-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable Precedence: bulk Reply-To: Tarmo Uustalu Message-Id: 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=C3=B2 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/ ]