Post Doc in Type Theory for Mathematics and Computer Science
Grande área: Exatas e da Terra
Tipo de oportunidade: Pós-graduação
Objetivo: The position as a postdoctor is placed in the Logic and Types research group at the department, with the University of Gothenburg as the employer.
Inscrições: até 10 de março de 2021
Local: Suécia
Mais informações no site.