[Apologies for multiple copies] Two Fully Funded PhD Positions in the Computational and Applied Logic Group --------------------------------------------------------------------------- Institute for Logic, Language and Computation Universiteit van Amsterdam The Computational and Applied Logic Group at the University of Amsterdam is searching for highly motivated candidates with a first degree in computer science, computational linguistics, or a related discipline, for two fully funded four-year PhD positions, one in each of the following research areas: o computational logic (with an emphasis on implementation and evaluation of automated reasoning systems) o natural language processing (with an emphasis on logic-based approaches to information retrieval tasks such as question-answering, navigation, and summarization) Applicants should have a strong interest in experimental evaluation and validation of theoretical findings. Programming skills, preferably in perl, java, C or C++, are essential. Familiarity with current trends in automated reasoning (for the computational logic position) or statistical and symbolic models of natural language processing (for the NLP position) is a distinct advantage. These positions are funded by the Netherlands Organization for Scientific Research and the University of Amsterdam, as part of the `Pionier' project `Computing with Meaning.' This is an interdisciplinary project aimed at identifying and using meaningful information in natural language texts. The project will experiment with computational logic architectures that can handle linguistic information structures at various levels of detail; this involves new systems of flexible logics and algorithms, suitably combined. The project has a generous equipment and travel budget. Please consult http://www.science.uva.nl/~mdr/Projects/ComputingwithMeaning/ for more information about the project. Both positions are four-year positions, and are expected to lead to a PhD degree. Candidates may be asked to assist with courses related to their research areas. The salary will range from 3159 Guilders (during the first year) to 4511 Guilders (during the fourth year), gross per month. Knowledge of Dutch is not a prerequisite, and candidates can be of any nationality. The starting date should be between September 1, 2001 and January 1, 2002. Anyone interested in these positions is invited to contact Maarten de Rijke at [EMAIL PROTECTED] Applicants should submit a full resume including a statement of research interests, and the names and email addresses of at least three references to the same address by July 15, 2001. Research interests within the Computational and Applied Logic group range from automated reasoning, constraint programming, satisfability checking, and formal verification to digital libraries, information retrieval, computational semantics, and knowledge engineering. The group is strongly internationally oriented, and currently consists of 15 people; it is expected to grow substantially over the next year. Further details on the group can be found at http://www.science.uva.nl/~mdr/CALG/. -- Maarten de Rijke | Computational and Applied Logic Group | ILLC U of Amsterdam | Plantage Muidergracht 24 | 1018 TV Amsterdam | NL Phone: +31 20 525 6511 / +31 6 28 194 881 | Fax: +31 20 525 5101 E-mail: [EMAIL PROTECTED] | URL: http://www.science.uva.nl/~mdr/
