[categories] PhD and Postdoc in the theory of comonads

Dear All, I'm looking for a postdoc and PhD student to work with me on the study of both the theory and applications of comonads. We aim to build the theory of presentations of comonads to be able to specify computational resources in a principal way. Therefore, the project is in the intersections of category theory, linear type theory, programming language semantics and potentially also finite model theory (via game comonads), theory of concurrency and so on. For details, see https://tomas.jakl.one/projects/unicator Feel free to pass my announcement to potential candidates, should you know any. Thank you, Tomas