Trabajo de Lógica Computacional en la Universidad de Yale
El Departamento de Ciencias de la Computación de la Universidad de Yale
ha pubicado una oferta de trabajo en temas de Lógica Computacional: PostDoc and PhD Positions at Yale University
El objetivo del trabajo es el desarrollo de un nuevo sistema operativo cuyo núcleo esté formalmente certificado. Una descripción detallada del mismo se encuentra en Advanced Development of Certified OS Kernels.
El trabajo se desarrollará en el grupo FLINT y será dirigido por Zhong Shao y Bryan Ford.