Convocada plaza de Profesor Ayudante Doctor en el departamento de Sistemas Informáticos y Computación de la Facultad de Informática de la UCM, adscrita a la Facultad de Matemáticas con perfil "Métodos formales".

https://bouc.ucm.es/pdf/4625.pdf