En el marco del lanzamiento de un nuevo centro de investigación, desarrollo e innovación en Ingeniería de Software, el Laboratorio de Fundamentos y Herramientas para la Ingeniería de Software (LaFHIS) está comenzando varias iniciativas junto con algunas empresas vinculadas con el análisis automático de software. Algunas de estas iniciativas incluyen técnicas avanzadas de análisis estático de programas (en tiempo de compilación), análisis dinámico de programas (es decir, sobre ejecuciones reales) aplicados a debugging, validación, verificación y reingeniería arquitectónica.
En este contexto se buscan interesados en participar en la aplicación de métodos formales automatizados en aplicaciones industriales. Es deseable (no imprescindible) haber tenido algún contacto previo con temáticas relacionadas con métodos formales, ya sea habiendo cursado alguna materia vinculada con el Análisis Automático de Programas, Análisis de Requisitos Temporales, Modelado y Análisis de Sistemas Reactivos, Diseño de FPGAs, etc. o bien haber desarrollado una tesis o trabajo de fin de carrera ligado a estas temáticas.
El llamado es tanto para perfiles part-time como full-time y se ofrece también la posibilidad de realizar un doctorado (o posdoctorado) en el contexto de las actividades de desarrollo a realizar.
El lugar de trabajo es el Departamento de Computación de la Universidad de Buenos Aires, en particular con el laboratorio Lafhis (http://lafhis.dc.uba.ar).
Los interesados en trabajar en alguna de estas temáticas deberán contactarse con Daniela Bonomo (daniela.bonomo.dc@gmail.com).
