[TYPES/announce] Part-time (0.3) senior researcher position in program logics in Tallinn

[Tarmo Uustalu]

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.