Trabajo de doctorado en el proyecto ForMath en Nijmegen

PorJosé A. Alonso

Se ha convocado una plaza de trabajo para realizar el doctorado en el Proyecto ForMath. El trabajo se realizará en el Foundations Group del Institute for Computing and Information Sciences de la Radboud University Nijmegen de Holanda.

El proyecto ForMath (Formalization of Mathematics) es un proyecto FP7 liderado por Thierry Coquand de la Gothenburg University. El objetivo del proyecto es desarrollar teorías formalizadas sobre álgebra, álgebra lineal, computación sobre los números reales y topología algebraica.