Trabajo de Lógica Computacional en Oxford
El Grupo de verificación formal de la Universidad de Oxford ha a anunciado una oferta de trabajo.
El trabajo se realizará dentro del proyecto PINCETTE y será dirigido por Daniel Kröning.
Los detalles del trabajo pueden consultarse aquí.