Individuals are encouraged to apply who have an interest in logical and computational theories of 
ordinary reasoning, natural logic, and/or linguistic semantics and who want to investigate these 
topics in an interdisciplinary setting where linguistic investigation is combined with tableau 
theorem proving and model checking. The positions are 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 projects can be found at http://tinyurl.com/tilnatlog.

These positions are open to candidates with a master's degree or equivalent and successful 
candidates are required to complete a PhD thesis within maximally four years.

We expect the willingness to work in an international interdisciplinary research environment. 
The PhD candidates will receive a starting salary of 2042 Euro gross per month in the first year. 
The salary in the last year is 2612 Euro.

Applications (in English) should include a cover letter, a curriculum vitae, a two-page research 
proposal, and the names of two references. Candidates are also invited to include a sample of 
their writing, if one is available in English, French, German or Dutch.
Only applications made with the help of our Application Wizard will be taken into consideration:

- Go to http://tinyurl.com/tilvacs
- Click on the relevant vacancy
- Click "apply directly".

The deadline for applications is October 15, 2011. For more information about TiLPS, visit 
http://tinyurl.com/tilps.