From vanhoeve at andrew.cmu.edu  Wed Jul 23 11:54:58 2008
From: vanhoeve at andrew.cmu.edu (Willem-Jan van Hoeve)
Date: Wed Jul 23 11:54:53 2008
Subject: [Cpna] Post-Doc in Logic and Optimization
Message-ID: <48875452.3050001@andrew.cmu.edu>



Logic and Optimization Post-Doctoral Position - Simon Fraser University

    Applications are invited for a Post-Doctoral Fellowship in Logic and
    Optimization, in the Computational Logic Laboratory at Simon Fraser
    University.  Applicants should have a PhD in computing science or a
    related field, ability to work on problems in both logic and discrete
    optimization, and should enjoy working in both theoretical and applied
    settings.

    The successful candidate will play a central role in a project to extend
    a problem modelling and solving framework and system for search problems
    to handle optimization problems.  Working within a dedicated team 
including
    two faculty members, several PhD students, and scientists employed 
by our
    industrial partner, he or she will help tackle significant theoretical
    and practical challenges.  Interested applicants are encouraged to 
contact
    the project principals for further details on project plans and 
goals. For
    general project information see 
http://www.cs.sfu.ca/research/groups/mxp/.

    Knowledge or interest in several of the following would be of value:

      - integer linear programming and applications
      - finite model theory and descriptive complexity
      - logic and databases or database query processing
      - constraint or algebraic modelling languages
      - design and use of solvers for ILP/SAT/CSP/SMT/CLP
      - experimental evaluation of algorithms or solvers
      - knowledge representation or theorem proving

    Candidates should also expect to play a lead role in writing papers,
    should have sufficient C++ programming experience to take part in
    software development, and to supervise graduate students.

    The position is to commence as soon as possible after a candidate is
    chosen.  Salary is to be between CDN $45,000 and $60,000, depending
    upon qualifications and experience.  The initial appointment will be
    for one year, with possibility of extension.

    Simon Fraser University is located atop Burnaby Mountain in 
Vancouver, Canada.
    Vancouver thrives as a scenic waterfront city located just minutes 
away from
    the mountains and a wide range of outdoor activities. Vancouver's 
cultural
    and intellectual pursuits, leisure opportunities, favourable 
climate, and
    clean and safe environment are consistently cited as quality of life 
factors
    that make it one of the most desirable places in the world to live 
and work.

    Interested applicants should contact one of project leaders:

       Eugenia Ternovska ter@cs.sfu.ca
       David Mitchell mitchell@cs.sfu.ca

    For full consideration, application should be made by July 30, 2008.

    Please forward to any interested parties.