Section I UNIVERSITY OF OXFORD Mathematical Physical & Life Sciences Division Mathematical Institute in association with Wolfson College READERSHIP IN MATHEMATICAL LOGIC Description of Joint Appointment and Application Procedure Applications are invited for a Readership in Mathematical Logic, to be held from October 2010. The successful candidate will be appointed on the Readership scale 10, currently £47,853 - £57,140. Details of the Department and further details of the University post are given in Section II, and details of the College and further details of the College post are given in Section III. The successful candidate must have a record of internationally excellent research in Mathematical Logic with preferences given to those working in Model Theory. He or she will be expected to contribute effectively to the work of the Oxford Logic Group, to interact with other the research groups in Mathematical Institute and to take part in activities of the Joint School in Mathematics and Philosophy. Duties The duties of the University post are as follows. Teaching and Research a) to engage in research; b) to give, under the direction of the Chairman of Mathematics, not less than thirty- two lectures in each academic year, spread over not less than six weeks of each term, provided that the Chairman may permit the lectures to be given in not less than twelve weeks of two terms of the year if he or she is satisfied that this is desirable from the point of view of the lecture list and that the successful candidate will be available in Oxford in the third term unless leave of absence has been granted by the competent authority; c) to take a leading role in the organisation of the honour school of Mathematics and Philosophy; d) to undertake teaching in addition to the lectures above in support of the honour school in classes or otherwise up to two hours per week in term, averaged over the year. 1 Examining The reader will be required to take part in university examining as and when requested to do so by a committee for the nomination of examiners, unless he or she can show reasonable cause, to the satisfaction of the Vice-Chancellor and Proctors, why on a particular occasion he or she should not do so. (This requirement does not apply to invitations from faculty boards or divisional boards to examine theses submitted for research degrees.) Supervision The reader will be required to act as the supervisor of a graduate student as and when requested to do so by a faculty board, divisional board, or other competent body, unless he or she can show reasonable cause, to the satisfaction of the body concerned, why on a particular occasion he or she should not do so. Tutorial teaching Readers may not undertake more than six hours college teaching per week without the permission of the divisional board concerned. Headship of departments Every professor or reader who is employed by the University unless individually exempted has the obligation to accept the headship of the department in which his or her post is held if invited to do so by the divisional board. This readership is held in the Mathematical Institute. The successful candidate will be obliged to accept the headship of the department for a specified period of five years, if requested to do so by the Mathematical and Physical Sciences Divisional Board, for which an allowance is payable. Selection Criteria The selection committee will consider the extent to which each candidate: (a) Research • has an outstanding record at international level in Mathematical Logic, preferably in Model Theory; • reinforces existing strengths in the Logic Group, and demonstrates the ability to interact with other research groups in the Department; • has a record of success in obtaining research grants; 2 (b) Teaching • has the ability and experience to teach effectively over a wide range of topics in the undergraduate and graduate syllabus at Oxford; in particular, the candidate should be able to contribute to the lecture courses for the Joint School in Mathematics and Philosophy; • has the ability and experience to supervise of doctoral and masters- level students working in Mathematical Logic in the department or in the Faculty of Philosophy; (c) Other duties • demonstrates the ability and willingness to participate fully in the life of the college; • shows evidence that he or she would contribute effectively to administration in the Mathematical Institute. Application Procedure Applicants should submit 8 copies of a letter of application explaining how they meet the eligibility and selection criteria for the post, a CV, publications list and research plan, together with the names and contact details of three academic referees, at least one of whom should be from outside Oxford University, and not more than two from the same place, to The Administrative Assistant (Vacancies) The Mathematical Institute 24-9 St Giles’ Oxford OX1 3LB ([email protected]) to arrive no later than noon on 17 August 2009. Applicants based overseas need send only one, single-sided, copy of the above. Email applications are acceptable. There is no application form. Applicants should contact their referees and arrange for references to be sent to the Administrative Assistant by the closing date. Please quote reference number BK/09/011. The University will assume that it is free to approach referees at any stage unless the candidate’s application stipulates otherwise. Candidates who wish a referee or referees to be approached only with their specific permission and/or if they are being called for interview on the final shortlist or are in receipt of a conditional offer are asked to state such requirements explicitly alongside the details of the relevant referee(s). It is planned to hold interviews on 29 September 2009. Candidates who will need visas to travel to the UK if they are invited for interview should make contingency arrangements immediately. If the interview 3 date is likely to cause severe problems, please write to the above address immediately; you need not wait until your application is ready for submission. Candidates short-listed for the readership will be invited to give a short lecture of about twenty minutes’ duration on their research interests (which need not be exclusively on the candidate’s own contributions) designed for a general audience of specially invited members of the department. The appointment will be subject to satisfactory completion of a medical questionnaire and the provision of proof of the right to work in the UK. The recommendation of the selection committee will be subject to ratification by the Divisional Board and the Governing Body of Wolfson College. 4 Section II UNIVERSITY OF OXFORD READERSHIP IN APPLIED MATHEMATICS FURTHER DETAILS CONCERNING THE UNIVERSITY POST A. The Department The University of Oxford employs over 9,000 academic, research and support staff across a wide range of academic disciplines. Its mission is to achieve and sustain excellence in every area of its teaching and research, maintaining and developing its historical position as a world-class university, and enriching the international, national, and regional communities through the fruits of its research and the skills of its graduates. This position is intended to support that goal by building on the department’s strength in pure mathematics and mathematical logic and to refill the post previously held by Alex Wilkie (FRS). The Mathematical Institute, as the department of mathematics is known, strives to be one of the leading mathematics departments in the world, with a significant research profile in central areas of contemporary mathematical research. The Oxford Logic Group is internationally known for its research in Model Theory and its applications in Pure Mathematics. The group at present has two permanent members, Boris Zilber, Professor of Mathematical Logic, and Jochen Koenigsmann, University Lecturer in Mathematical Logic, and it is hoped to fill in the post of Reader with a candidate with a research record of the very highest international standard. The group hosts usually one or two postdoctoral fellows, one or two visitors and supervises 5-8 graduate students in any given time. The Logic Group collaborates with other research groups in the Mathematical Institute, the Computing Laboratory and the Philosophy Faculty. There are thirteen chairs in mathematics: Sedleian Professorship of Natural Philosophy (Sir John Ball, FRS) Whitehead Professorship of Pure Mathematics (Martin Bridson) Rouse Ball Professorship of Mathematics (Philip Candelas) Professorship of Mathematics and its Applications (Jon Chapman) Professorship of Pure Mathematics (Roger Heath-Brown, FRS) Savilian Professorship of Geometry (Nigel Hitchin, FRS) Wallis Professorship of Mathematics (Terry Lyons, FRS) Professorship of Mathematical Biology (Philip Maini) Waynflete Professorship of Pure Mathematics (Raphael Rouquier) Professorship of Numerical Analysis (Nick Trefethen, FRS, currently in the Computing Laboratory) Professorship of Mathematical Finance (Xunyu Zhou) Professorship of Mathematical Logic (Boris Zilber) Simonyi Professorship for the Public Understanding of Science (Marcus du Sautoy) 5 Other holders of the title of professor include Charles Batty, Piotr Chrusciel, Michael Collins, Artur Ekert, Alison Etheridge, Victor Flynn, Mike Giles, Richard Haydon, Sam Howison, Dominic Joyce, Bernd Kirchheim, Dmitry Kramkov, Frances Kirwan FRS, Marc Lackenby, John Lennox, Lionel Mason, Barbrara Niethammer, John Ockendon FRS, Hilary Priestley, Alex Scott, Dan Segal, Gregory Seregin, Endre Süli, Ulrike Tillmann FRS, Paul Tod, Michael Vaughan-Lee, John Wilson, and Nick Woodhouse. Graeme Segal FRS, works in Oxford as a Fellow of All Souls College. The Mathematical Institute incorporates the Oxford Centre for Industrial and Applied Mathematics (Director Jon Chapman), the Centre for Mathematical Biology (Director Philip Maini), the Oxford Centre for Nonlinear PDE (Director John Ball) and the Oxford Centre for Collaborative Applied Maths (Director John Ockendon). Research takes place in all central areas of mathematics. The Department attracts research funding from a wide range of sources.