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, formal verification and human error - 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; and have strong collaborations with the Maths department (Combinatorics, Network flow and Algebraic proof complexity). 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 good upper second-class honors (or equivalent) 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 enroll 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 ([EMAIL PROTECTED]) To apply, either: - Apply online at http://www.qmul.ac.uk/postgraduate/apply - Email Melissa Yeo ([EMAIL PROTECTED]) for application pack. For further information about our research group please visit http://www.dcs.qmul.ac.uk/research/logic --------------------------------------------------------------------------- ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
