| This may be of interest to students of list members. --------------------------------------------------------------------------- POST-GRADUATE PHD STUDENTSHIPS IN THEORETICAL COMPUTER SCIENCE School of Electronic Engineering and Computer Science Queen Mary, University of London Queen Mary is a world-leading centre for research on logical methods for reasoning about computer systems. Our work has spearheaded several developments – separation logic, logic for continuous systems, information theory for security, process types for web services – in which novel theoretical developments by us have been brought to bear in new application areas. We have also made fundamental contributions in pure logic (model theory, proof theory, categorical semantics) and in complexity theory. At the moment we have about £4m in research funding, supporting a thriving intellectual community. This includes an EPSRC “platform grant” (awarded to leading research groups in the UK to underpin their strategic development). Our group has a particularly strong track record of industrial collaborations, including recent collaborations with Microsoft, QinetiQ and Airbus UK. We are inviting applications for PhD positions in any of the areas above. Successful candidates are expected to start in September 2009. Several PhD studentships are available for UK residents (or EU citizens having studied in the UK for the last three years). The studentship will comprise full fees and an annual stipend commencing at £14,940 for the academic year 2008/9 (stipends are tax exempt). The stipend will increase by a small amount annually. Studentships will be awarded for a period of up to three years subject to satisfactory progress and are tenable in the School of Electronic Engineering and Computer Science, at the Queen Mary, University of London Campus, Mile End Road, London, UK. Competition for these funded positions is intense, so early application (say, by Feb 2009) is advised. We also have studentships (comprising of full fees plus annual stipend) for overseas students, although these require the candidate to carry out a certain amount of teaching during their studies. All applicants should hold a first or upper second-class honors degree in Computer Science, Electrical Engineering, Mathematics or a cognate area. It is desirable, but not mandatory, that candidates will have an MSc in theoretical computer science. Successful candidates will enrol on a full-time programme of research studies leading to the award of the degree of Doctor of Philosophy. As part of the PhD degree the successful candidate will be expected to attend international conferences. Completed applications should be submitted as soon as possible, ideally before 27 February 2009. Interviews will be held in March 2009. For further information please contact Dr Oliva (pbo@xxxxxxxxxxxxxx) To apply, either: - Apply online at http://www.qmul.ac.uk/postgraduate/apply - Email Rupal Vaja (enquiries@xxxxxxxxxxxxxx) for application pack. For further information about our research group please visit http://www.dcs.qmul.ac.uk/research/logic --------------------------------------------------------------------------- Paulo Oliva Department of Computer Science School of Electronic Engineering and Computer Science Queen Mary, University of London London E1 4NS +44 (0) 207 882 5255 |