Trabajo de Lógica Computacional en Saarbrücken (Alemania)

El Grupo de automatización de la Lógica (del Instituto Max Planck en Saarbrücken, Alemania) ha publicado una oferta de plaza: PhD/Project Position.

La investigación se centrará en la integración de un sistema de razonamiento automático (SPASS) con otro interactivo (Isabelle).

El trabajo será dirigido por Christoph Weidenbach y se desarrollará en cooperación con el Grupo de demostración automática de la Universidad de Munich que dirige Tobias Nipkow.