Post-Doc in Logic and Optimization

[David G Mitchell]

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 at cs.sfu.ca
      David Mitchell mitchell at cs.sfu.ca

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

   Please forward to any interested parties.
------------------------------------------------------