PhD Positions in Amsterdam

From: Maarten de Rijke (mdr@science.uva.nl)
Date: Sun Jun 17 2001 - 14:58:49 PDT

  • Next message: hpguo@cis.ksu.edu: "[UAI] KDD-2001 Call for Participation"

    [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 mdr@science.uva.nl. 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: mdr@science.uva.nl  |  URL: http://www.science.uva.nl/~mdr/
    



    This archive was generated by hypermail 2b29 : Sun Jun 17 2001 - 15:05:38 PDT