FOUR research positions available Laboratory for Foundations of Computer Science School of Informatics University of Edinburgh Mobility & Security group http://www.lfcs.ed.ac.uk/m+s Closing date: 30 September 2005 Following on from the successful "Mobile Resource Guarantees" project, the Mobility & Security group at Edinburgh has four research positions available, lasting from one to three years, in two new projects working with proof-carrying code in Java. - Mobius: a European collaboration developing technologies to support trust and security in the next generation of global computers. - ReQueST: an EPSRC-funded project to equip e-Science applications with formal proofs of their requirements for memory space and processor time. Both projects will involve working with Java, the Java Modeling Language JML, logics for Java bytecode, and automated theorem proving tools. Activities will range from theoretical research to prototype implementation, with considerable scope for international collaboration. We seek applicants with a strong background in computer science, in particular the following areas: program logics and proof systems; formal methods; type systems and static analysis; semantics of programming languages; compilation techniques; mobile code; embedded systems. Candidates should have either a PhD or equivalent research experience. Please note that these are fixed-term positions, associated with specific funded grants. Further details: http://www.lfcs.ed.ac.uk/m+s/posts Vacancy reference: 3004893 at http://www.jobs.ed.ac.uk Please apply online, using the links above; the closing date for applications is 30 September 2005. These positions are available immediately and we encourage applicants to apply early. For informal enquiries, contact Ian Stark at the address below. -------------------------------------------------------------------- Dr Ian Stark Office: JCMB 2506 School of Informatics Tel: 0131 650 5143 The University of Edinburgh Fax: 0131 667 7209 James Clerk Maxwell Building King's Buildings, Mayfield Road Email: Ian.Stark@ed.ac.uk Edinburgh EH9 3JZ Scotland http://www.ed.ac.uk/~stark --------------------------------------------------------------------