[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Postdoc position in Logic at Utrecht University, the Netherlands.
The postdoc is embedded in the research project “Optimal Proofs” funded by the
Netherlands Organization for Scientific
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
POSTDOC POSITION IN LOGIC, GOTHENBURG (SWEDEN)
* University of Gothenburg, Sweden
* Duration: 2 years, starting Autumn 2018
* Deadline for applications is 31st May 2018
* The Department
