[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
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,
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@example.com. 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: firstname.lastname@example.org | URL: http://www.science.uva.nl/~mdr/
This archive was generated by hypermail 2b29 : Fri Jun 15 2001 - 09:38:07 MET DST