Se llama a una preinscripción de postulantes a Beca Interna Doctoral del CONICET relacionada al proyecto PICT-PRH 2015-1208:
«Fundamentos de lenguajes de programación cuántica: hacia una lógica computacional»
en el área de los sistemas formales para computación cuántica (lambda-cálculo, pi-cálculo, teoría de tipos, realisabilidad, reescritura, etc.), bajo la dirección de Alejandro Díaz-Caro en la Universidad Nacional de Quilmes (Bernal, Buenos Aires, Argentina).
Principales interacciones (proyectos conjuntos) con: Université Paris-Sud. École Normal Supérieure de Paris-Saclay. Inria. LORIA. Aix-Marseille Université. Università degli Studi di Torino. Universidad de la República (Uruguay). Universidade Federal de Santa Maria (Brazil). Universidad de Buenos Aires.
Requisitos: ser menor de 30 años, graduado o próximo a recibirse (antes del 01/04/2018) con muy buen desempeño académico en Licenciatura en Ciencias de la Computación o carreras afines.
Contacto: alejandro.diaz-caro@unq.edu.ar
0 comments:
Publicar un comentario