El CETIS (Centro de Investigación y Transferencia en Ingeniería del Software) es un nuevo centro de investigación, desarrollo e innovación en Ingeniería de Software que funciona en el marco de tres instituciones: CONICET, UBA y UNC. El nodo UBA (constituido por miembros de LaFHIS: http://lafhis.dc.uba.ar ) está realizando iniciativas junto con algunas empresas vinculadas con el análisis automático de software incluyendo el uso y desarrollo de 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 el centro está buscando contratar interesados en participar activamente en la aplicación y desarrollo de métodos automatizados de análisis para aplicaciones industriales. Es deseable (no imprescindible) haber tenido algún contacto previo con temáticas relacionadas con métodos formales, verificación y modelado de software convencional y/o embebido, ya sea habiendo cursado alguna materia temáticamente vinculada o bien haber desarrollado una tesis o trabajo de fin de carrera ligado a estas temáticas. Las posiciones ofrecidas son variadas en términos de dedicación, perfiles y aspiraciones de carrera. Se busca tanto coordinadores de grupos de trabajo (con posgrado) como programadores y arquitectos de diverso nivel de experiencia (incluyendo perfiles compatibles con estudiantes de fin de carrera que deseen realizar un trabajo con cargas horarias que permitan el cursado de sus materias/tesis). El lugar de trabajo es el Departamento de Computación, en particular con el laboratorio Lafhis (http://lafhis.dc.uba.ar). Interesados en un trabajo en el CETIS, contactarse con Verónica Rodriguez (rodriguezgazzano@gmail.com) para coordinar entrevistas y conversar en propuestas concretas.