PhD student position in theoretical computer science / mathematical logic, Lausanne (Switzerland)

There is an open position in Lausanne for a PhD student. inside the research group headed by Prof. Jacques Duparc at the University of Lausanne. We are looking for an enthusiastic student with a strong background in mathematical logic, to work on "Profinite Topologies in Automata Theory", a project financed by the Swiss NSF. PhD students are paid employees of the university. Salary and employment conditions are attractive. The university regulations require doctoral students to hold a Master's or equivalent degree. The successful candidate is expected to be able to join us on October 1st, 2010.

Applications and inquiries should be sent to Kevin.Fournier at unil.ch. For more information, see http://www.hec.unil.ch/logique/openposition.