Hola a Todos,
- I+D+i
- Transferencia de Tecnología
- Formación
Las actividades de
I+D+i del
grupo se concentran en la investigación en temas como verificación
semi-automática usando demostradores de teoremas interactivas
como HOL e Isabelle, diseño y verificación composicional,
especificación de sistemas
distribuidos con UNITY, generación automática de casos de testeo con
algoritmos
evolutivos, programación declarativa para el testeo, testeo de
programas
declarativos, modelos de madurez de la ingeniería de testeo y de la
ingeniería de
usabilidad.
- Ingenier@ en Informatica
- Conocimientos y/o experiencia con uno o más de los siguientes temas:
- diseño y verificación composicional, especificación formal de sistemas distribuidos, métodos formales
- usabilidad y/o accesibilidad
- testeo de software (funcionalidad, estrés, carga, modelos de madurez, etc), y/o herramientas open source para el testeo
- generación automatica de casos de testeo
- Afinidad con temas de calidad y testeo de software
- Muchísima ganas de trabajar e iniciativa.
- Ingles nivel alto/medio.
- Capacidad de trabajar en grupo.
Si estas interesado
en trabajar
en el grupo SQuaC del ITI puedes mandar tu CV a Tanja Vos (tanja@...) poniendo en el
asunto “CV
para grupo SQuaC”. Incluye en tu mensaje porque has decidido mandar tu
CV y
porque nosotros tenemos que seleccionarte a ti!
Un saludo,
Tanja Vos