Search
Last Insert
PhD student in computational logic and natural reasoning 1,0 fte
Organization: Tilburg School of Humanities
Location: Tilburg, Netherlands
Field: Cultural studies
Requirements:
You have a Master's degree in computational logic, computer science, artificial intelligence, linguistics, philosophy, or a related field.- You have excellent writing skills and a good command of English.- You have proven research abilities.- You look forward to working in an interdisciplinary research team.- You have programming experience in logical and/or functional programming languages.- You are familiar with (tableau) theorem proving and/or model checking and you are motivated to apply these to natural logic and natural reasoning.- You are strongly motivated to complete a PhD thesis within four years.
Abstract:
The title of the PhD project is "A Computational Theory of Natural Logic". Individuals are encouraged to apply who have an interest in logical and computational theories of ordinary reasoning and who want to investigate these topics in a setting of tableau theorem proving and model checking.
Description:
The position is part of the program "Towards Logics that Model Natural Reasoning", funded by a Free Competition grant from the Netherlands Organization for Scientific Research (NWO) and led by Reinhard Muskens. More information about this program and about the PhD project can be found at: http://tinyurl.com/tilnatlog.
Deadline: 15-04-2011
Contacts:
Link: http://www.tilburguniversity.edu/about-tilburg-university/schools/humanities/
Email: M.Baars@uvt.nl
If you apply for this position please say you saw it on eurizons.eu