Trabajo de Lógica Computacional en Enschede (Países Bajos)
El Grupo de métodos formales de la Universidad de Twente ha ofertado 2 plazas para trabajar en Enschede (Países Bajos): PhD and Post Doc position on ERC project Verifcation of Concurrent Data Structures (U. Twente, Netherlands)
El trabajo consistirá en la especificación y verificación de estructuras de datos concurrentes.
Las dos plazas se incriben en el proyecto VerCors (Verification of Concurrent Data Structures) dirigido por Marieke Huisman.