Study Subject(s):Computational Logic and Natural Reasoning
Course Level:PhD
Scholarship Provider: Netherlands Organization for Scientific Research (NWO) and led by Reinhard Muskens
Scholarship can be taken at: Netherlands
Eligibility:
– 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.
Scholarship Open for International Students: No
Scholarship Description: The Tilburg Center for Logic and Philosophy of Science (TiLPS) invites applications for a PhD position in natural logic and natural reasoning. 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. 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.
How to Apply: Online
Scholarship Application Deadline: October 15, 2011
Further Information and Application
