Lectureship in Mathematical Logic, Leeds (England)

A Lecturer in Mathematical Logic position is open at the University of Leeds. The position is full-time (part-time hours will be considered). Applications must be received before 28 April, 2016.

The Logic group in Leeds is the largest in a mathematics department in the UK, and one of the largest and strongest internationally. It has strength in the areas of model theory, proof theory, constructivism and category theory, and set theory. It has also a long computability theory tradition. The Logic group has close links to logicians in the School of Computing, and also in the School of Philosophy. We are also interested in reinforcing links between Logic and other areas of strength in the Department (algebra, geometry, analysis). We welcome applicants from researchers whose interests are connected to these fields, or to Theoretical Computer Science or Philosophy.

For more information, see https://jobs.leeds.ac.uk/Vacancy.aspx?ref=MAPMA1040. Informal enquiries may be made to Professor Dugald Macpherson (H.D.Macpherson at leeds.ac.uk) or Professor Alastair Rucklidge, Head of School (maphdmat at leeds.ac.uk).