Ofertas de trabajos en Lógica Computacional.
El Grupo de Lógica Computacional de la Universidad de Innsbruck (Austria) ha anunciado la oferta de una plaza para estudiante de doctorado.
El trabajo se realizará dentro del proyecto Improving Certifiers for Termination Proofs cuyo objetivo es el desarrollo de técnicas de terminación en Isabelle/HOL
El Departamento de Ciencias de la Computación de la Universidad de Leicester ha anunciado la oferta de 4 plazas de PhD/Graduate Teaching Assistant.
Tanto en los temas de investigación como en la lista de propuesta de Tesis Doctorales figuran algunos de lógica computacional.
Se ha ofertado una plaza para realizar una tesis doctoral sobre lógica computacional en la Universidad de Edimburgo.
La tesis se inscribe dentro del proyecto AI4FM (the use of AI to automate proof search in Formal Methods). El objetivo del proyecto es aplicar técnicas de IA, fundamentalmente aprendizaje automático, para automatizar las demostraciones de las obligaciones de pruebas generadas por los sistemas de razonamiento.
El tema de la tesis es The Productive Use of Failure in Formal Methods y será dirigida por Alan Bundy.
Bull y el Centro de investigación INRIA de Grenoble Rhône-Alpes han ofertado un puesto de trabajo de 3 años para realizar una tesis doctoral.
El tema de la tesis es ”Vérification de protocoles de cohérence de caches pour les calculateurs à haute performance”.
El trabajo de la tesis consistirá en modelisar y verificar los protocolos de Bull, usando los métodos y herramientas existentes, chequeadores de modelos (CADP, Murphi, …) y/o sistemas de razonamiento (PVS, Coq, …), o combinaciones de dichas herramientas.
Más información en Bull et le Centre de recherche INRIA de Grenoble Rhône-Alpes recrutent un doctorant.