Plazo de presentación de solicitudes: Final de julio, 2022.
Perfil: Graduado en Ingeniería Informática o similar (Telecomunicaciones, Matemáticas).
Duración: indefinido (aunque el proyecto termina el 31 de mayo de 2024).
Salario: 1600 euros brutos (14 pagas)
Funciones: El trabajo consistirá principalmente en realizar tareas de desarrollo e implementación,
aunque a menudo es necesario leer documentos, asistir a seminarios o congresos, etc. Respecto a la
temática, se centra en las técnicas de validación y depuración
de programas concurrentes, y la mayor parte de las tareas de desarrollo se harán en el lenguaje
funcional concurrente Erlang. En particular,
el personal contratado deberá actualizar y extender una herramienta de depuración reversible
que hemos desarrollado en el grupo: CauDEr.
Otras características:
Se puede compaginar con los estudios de Máster (incluyendo la realización del TFM) o Doctorado.
El horario es bastante flexible (y, en principio, se podría teletrabajar, al menos en parte).
Dedicación exclusiva (excepto por el tema de los estudios que comento arriba).
Buen nivel de inglés (incluyendo conversación).
Más información: Podéis mandarme un correo a gvidal@dsic.upv.es
si tenéis alguna duda o queréis ampliar información.