Trabajo de Lógica Computacional en Cambridge
Se ha anunciado la oferta de plazas de trabajo en la Universidad de Cambridge.
El trabajo se realizará dentro del proyecto EPRSC Semantic Foundations for Real-World Systems. Entre sus objetivos se encuentra la verificación de la compilación de lenguajes concurrentes, para lo que se requiere conocimiento de verificación de programas y de sistemas de razonamiento.
El director del proyecto es Peter Sewell