Dear categorists, We have an open position for 2016-2017 at Université Savoie Mont Blanc (Chambéry) in computer science. There is an additional position in mathematics, but which isn't yet guaranteed to open. A possible research team for both positions is Logic, Computer science, and Discrete Maths (LIMD) [1] at LAMA, the math lab, so researchers in category theory, proof theory, programming languages, etc, are most welcome. Potential applicants are invited to consult the web site below [2] under "CAMPAGNE DE RECRUTEMENT DES ATER 2016" and possibly contact me for further information. Hoping to read from you soon, Tom [1] http://lama.univ-savoie.fr/index.php?use=membres&equipe=logique&lang=en [2] https://www.univ-smb.fr/index.php?id=116 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]