Postdoctoral fellow in Matematics

Ref nr 315-692-09 Postdoctoral fellow in Matematics: Constraint problems and Satisfiability The research group in discrete mathematics welcomes a postdoctoral fellow in combinatorial algorithms and satisfiability.The successful applicant will be part of developing and implementing algorithms for large scale satisfiability and constraint satisfaction problems.Topics of special interest are: complete listing of solutions to constraint problems, mixing boolean constraints of CNF-type with cardinality constraints and symmetry breaking, and combination of learning with parallelisation on loosely connected machines.The position is for 1.5 years.To qualify for the position you should have a PhD degree in mathematics, computer science, or a closely related subject, preferably not older than three years.You also need good programming skills, where C and C++ are preferred languages.The post doc will be employed at the Department of Mathematics and Mathematical Statistics.Since we strive for a more equal gender distribution within our department, we especially encourage female applicants.See also the International office, www.umu.se/international_office for a general presentation of Umeå and the University.The application should contain a Curriculum Vitae, copies of degree certificates, names and contact details of at least two references, and short accounts of scientific and pedagogic activities.Scientific articles, and other documents you want to refer to, should be attached.All documents submitted in hard-copy form should be in two copies, and all electronically submitted copies should be in MS Word or PDF format.Note, in order to be considered, applications must include copies of reprints.The application document set will be discarded or, if the applicant so wishes, returned two years after the position has been filled.Applications will be discarded or, if the applicant so wishes, returned two years after the position has been filled.Documents sent electronically should be in MS Word or PDF format.If you are applying to several positions with diferent reference numbers, you must submit a separate application for each position.We look forward to receiving your application!