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/ ]