[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]Dear all, I would like to advertise a two year postdoc job in my group at the Tallinn University of Technology, Estonia. The application deadline is October 31, 2023 and the position will start in January 2024. This position would ideal for a recent PL theory PhD who is interested in learning about category theory and applying their knowledge in cryptography and cybersecurity. More details can be found at the link below. The successful applicant will also be expected to take part in the activities of the Chess project (https://urldefense.com/v3/__https://chess-eu.cs.ut.ee/__;!!IBzWLUs!VKfXA9Oq-X3YeHUMpkrj4pgxWMWEpEjDYnJGPFAVCzFKhTfzNq47Q7s72fmAuMb1RCHKR3UTqKGp2vo1xDss4wgjSqXkhZAZCw$ ) which is financing the position. Feel free to reach out to me with further enquiries. https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/EN/781baee0-6__;!!IBzWLUs!VKfXA9Oq-X3YeHUMpkrj4pgxWMWEpEjDYnJGPFAVCzFKhTfzNq47Q7s72fmAuMb1RCHKR3UTqKGp2vo1xDss4wgjSqV-Hvd_ZA$  https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/EN/781baee0-6__;!!IBzWLUs!VKfXA9Oq-X3YeHUMpkrj4pgxWMWEpEjDYnJGPFAVCzFKhTfzNq47Q7s72fmAuMb1RCHKR3UTqKGp2vo1xDss4wgjSqV-Hvd_ZA$ https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/EN/781baee0-6__;!!IBzWLUs!VKfXA9Oq-X3YeHUMpkrj4pgxWMWEpEjDYnJGPFAVCzFKhTfzNq47Q7s72fmAuMb1RCHKR3UTqKGp2vo1xDss4wgjSqV-Hvd_ZA$ Best wishes, Pawel.
