Thursday, November 26, 2009

[DMANET] Two Postdoc Positions in Computer Science at TU Vienna

Within the ERC-funded project "The Parameterized Complexity of Reasoning
Problems" lead by Prof. Stefan Szeider applications are invited for two
postdoctoral positions in computer science. The aim of the project is to
study computational reasoning problems in the framework of parameterized
complexity theory. The positions are for the duration of two years with
the possibility to extend. The earliest starting date is January 2010.

The candidates should have a PhD degree in Computer Science or related
area; research experience at postdoctoral level is of advantage.
Successful candidates will have excellent knowledge in some of the
following areas:

* algorithm design and analysis
* computational complexity
* satisfiability and constraints
* nonmonotonic reasoning
* probabilistic reasoning
* discrete optimization
* implementation and testing of algorithms

The review of applicants will begin immediately and continue until the
positions are filled. Applications received by 19 December 2009 will
receive full consideration.

Further details on the requirements and information on how to apply can
be found at
* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.