Proyecto: «Razonamiento formal para tecnologías facilitadoras y emergentes».
Requisitos: Ingeniero en Informática o Graduado en Ingeniería Informática con grado Doctor.
Responsable del proyecto de investigación: Santiago Escobar Román.
Plazo de presentación: del 03/12/19 al 17/12/19/19.
Fuente: UPV