No tienes permiso para eliminar mensajes de este grupo
Copiar enlace
Denunciar mensaje
Mostrar el mensaje original
Las direcciones de correo electrónico de este grupo son anónimas o necesitas el permiso para ver las direcciones de correo electrónico de los miembros para poder ver el mensaje original
a construc...@googlegroups.com
We are inviting applications for PhD studentships in the Theory Group
[1] at the University of Birmingham to work on Homotopy Type Theory and
related areas. The Theory Group at Birmingham has a broad interest in
type theory, category theory, programming language theory and formalized
mathematics, and both Eric Finster and Martín Escardó are active
researchers in the HoTT community.