[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]We have a part-time (0.3) senior researcher position open in the Logic and Semantics Group of the Tallinn University of Technology, on program logics. https://urldefense.com/v3/__https://candidate.recrur.com/public/jobad/en/e8217e2b-1__;!!IBzWLUs!RXyuQtxMwdahaiDmnd1QJPwl5Ry2WCvlfx4F9ZkiRh-izK-4n5-kF_dvp7NBdxuleqaZoefm1oBZtC0x36EYp76qCNHC$ Start date 1 Sept 2024. The deadline for applications is 28 March 2024. Apply via the page linked above. These are the webpages of the university and the group: https://urldefense.com/v3/__https://www.taltech.ee/__;!!IBzWLUs!RXyuQtxMwdahaiDmnd1QJPwl5Ry2WCvlfx4F9ZkiRh-izK-4n5-kF_dvp7NBdxuleqaZoefm1oBZtC0x36EYpxUgNbPe$ https://urldefense.com/v3/__https://cs.ioc.ee/lsg/__;!!IBzWLUs!RXyuQtxMwdahaiDmnd1QJPwl5Ry2WCvlfx4F9ZkiRh-izK-4n5-kF_dvp7NBdxuleqaZoefm1oBZtC0x36EYp791TJgq$ For closer information about the position and the research environment (the group), please approach Tarmo Uustalu.
