[Proof Complexity] Fwd: PhD opening in cognitive modeling and logic at ILLC, UvA

Camilo Thorne camilo.thorne at gmail.com
Wed Jan 23 18:47:48 CET 2013

[apologies for cross-posting]

Deadline: 15 Feb, 2013

The Institute for Logic, Language and Computation (ILLC) currently has a
PhD fellowship available, appointment starting on 1 April 2013.
Applications are now invited from excellent candidates wishing to conduct
interdisciplinary research in the Brain & Cognition priority area of UvA.
The successful candidate is expected to write a dissertation in logic,
computer science and/or cognitive science, using theoretical tools to model
cognitive phenomena. The possible topics include, but are not restricted
to, computational cognitive modelling of language, applying logic and
complexity in cognitive science, social cognition and modelling working
memory. For more information see:

Institute of Logic, Language and Computation
Faculty of Humanities
University of Amsterdam
Science Park 107
P.O. Box 94242
1098 XG Amsterdam
The Netherlands
E-mail: jakub.szymanik at gmail.com

More information about the Proof-Complexity mailing list