|
| Group: |
comp.constraints |
[ Post new message ] |
|
|
 |
| Author: |
mitchell@cs.sfu.ca (David G Mitchell) |
| Subject: |
Post-Doc in Optimization and Logic |
| Body: |
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. (For reference, the PIMS Post-Doc
rate is $40,000.) 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.
Available 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 at the
earliest opportunity:
Eugenia Ternovska ter@cs.sfu.ca
David Mitchell mitchell@cs.sfu.ca
Please forward to any interested parties.
------------------------------------------------------
|
|
|
|
|