26 de junio de 2017

Llamado a registro de aspirantes a beca doctoral CONICET 2017

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).

Laboratorios de pertenencia:
* LoReL
* Infinis

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.