Part-time (0.3) senior researcher position in program logics in Tallinn