Applications are invited for the position of postdoctoral research associate in the area of Logic 
and Complexity Theory. The position is for one year initially, to start on 1 April 2012 or as soon 
as possible thereafter, with a possible extension of tenure to 1 April 2014, dependent on funding 
being available.

The successful candidate will work on an EPSRC-funded project in the area of Descriptive Complexity
with Algebraic Operators under the supervision of Prof. Anuj Dawar.

Candidates should have a PhD degree in Computer Science, Mathematics or a related discipline, with 
research experience in a relevant area of theoretical computer science. Candidates with a published
record in the areas of logic and algorithms, computational complexity and algebraic algorithms 
would be particularly welcome.

Informal expressions of interest and enquiries should be made to: Prof. Anuj Dawar: anuj.dawar@cl.cam.ac.uk

Applications should include:

A CV, a brief statement of the particular contribution you would make to the project and a 
completed form CHRIS6: http://www.admin.cam.ac.uk/offices/hr/forms/chris6/

Completed applications should be sent by post to: Personnel-Admin, Computer Laboratory, Williams 
Gates Building, JJ Thomson Avenue, Cambridge, CB3 0FD or by email to: personnel-admin@cl.cam.ac.uk

* The funds for this post are available for one year in the first instance.

Quote Reference: NR12991,Closing Date: 29 February 2012