Puesto: Personal de apoyo a la investigación (PAI-T) |
Función: Desarrollo e implementación de herramientas de verificación de programas imperativos de propósito general. Desarrollo de técnicas de análisis específicas para el análisis de contratos inteligentes. |
Empresa: S2018/TCS-4313 FORTE-CM (FORMAL MODELS AND TECHNOLOGIES FOR EMERGING APLICATIONS)
|
Nº de Plazas: 1 |
Referencia: S2018/TCS-4313 Perfil 1 |
Publicada el 25/1/2022 |
Publicada hasta el 25/2/2022 |
Tipo de Contrato: Programas de Actividades de I+D de la CM |
Dedicación: Jornada completa |
Remuneración Bruta (euros/año): 20.347,92 |
Localidad: Madrid |
Provincia: Madrid |
Disponibilidad para viajar: Sin especificar |
Fecha de Incorporación: 28/03/22 |
Fecha de Finalización: 27/09/22 |