Proyecto: «Advanced symbolic methods for the cryptographic protocol analyzer Maude-NPA».
Requisitos: Ingeniero en Informática o título universitario oficial de Graduado en el ámbito de la titulación indicada con grado de Doctor.
Responsable del proyecto de investigación: Santiago Escobar Roman.
Plazo de presentación: del 12/07/17 al 25/07/17.
Fuente: UPV