We are looking for a talented and dedicated researcher with a PhD in mathematics or computer science. The research carried out in the project belongs to the area of mathematical logic, and the applicant should have a background in this field. A background in proof theory or algebraic logic is highly recommended.
Scholarship Deadline: 14/01/2012
More info: View info