Beca Postdoctoral
El grupo de Ingeniería de Software del Centro Internacional Franco-Argentino de Ciencias de la Información y de Sistemas (CIFASIS, CONICET-UNR) dispone de una beca posdoctoral de dos años para trabajar en el marco del PDTS “Fastest: desarrollo de una herramienta para la automatización del testing de software”.
El lugar de trabajo es en la ciudad de Rosario, Provincia de Santa Fe.
El becario deberá trabajar en el desarrollo de la primera versión de uso industrial de Fastest, una herramienta que automatiza el testing de software. Fastest se basa en técnicas de testing basado en modelos formales. En particular Fastest analiza especificaciones formales basadas en lógica de primer orden y teoría de conjuntos con el fin de generar casos de prueba unitarios.
Se busca un Doctor en Informática preferentemente con buena formación en métodos formales e interesado en la investigación aplicada y la transferencia de tecnología a la industria.
La participación en este proyecto, aprobado por CONICET y el Ministerio de Ciencia, Tecnología e Innovación Productiva, es una gran oportunidad para solicitar el ingreso a carrera de investigador del CONICET en el marco de la Comisión de Tecnología.
La convocatoria a esta beca permanecerá abierta hasta tanto se la cubra.
Por más información sobre el proyecto y las condiciones de la beca comunicarse a: cristia@cifasis-conicet.gov.ar