Ofertas de trabajos en Lógica Computacional.
Se han ofertado 4 plazas para trabajar en el proyecto DASDIP (Design and Analysis of Secure Distributed Protocols).
En el proyecto se aplican los métodos formales a la seguridad y se desea construir un modelo formal usando, posiblemente, PVS.
La oferta se encuentra en Postdoc and PhD vacancy in security & formal methods.
Bart Demoen ha publicado la oferta de trabajo PhD Position for Datalog Research.
El trabajo se realizará en grupo DTAI (Declaratieve Talen en Artificiele Intelligentie = Declarative Languages and Artificial Intelligence) y, más concretamente en el subgrupo Design, Analysis and Implementation of Declarative Programming Languages (Analysis), de la Universidad de Lovaina.
Se ha convocado una plaza de trabajo para realizar el doctorado en el Proyecto ForMath. El trabajo se realizará en el Foundations Group del Institute for Computing and Information Sciences de la Radboud University Nijmegen de Holanda.
El proyecto ForMath (Formalization of Mathematics) es un proyecto FP7 liderado por Thierry Coquand de la Gothenburg University. El objetivo del proyecto es desarrollar teorías formalizadas sobre álgebra, álgebra lineal, computación sobre los números reales y topología algebraica.
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: