Trabajo en el Proyecto CerCo (Certified Complexity)
Se ha convocado dos plazas para trabajar en el Proyecto Cerco (Certified Complexity).
El proyecto Cerco es un Proyecto FP7 cuyo objetivo es la construcción de un compilador de C que conserve la complejidad y esté formalmente verificado. El proyecto se describe más detalladamente en su memoria.
Las plazas convocadas son: