[TYPES] Research positions in Mobility and Security at Edinburgh

Ian.Stark@ed.ac.uk Ian.Stark at ed.ac.uk
Mon Aug 15 12:47:52 EDT 2005

                 FOUR research positions available

           Laboratory for Foundations of Computer Science
                       School of Informatics
                      University of Edinburgh

                     Mobility & Security group

                  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

 - 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

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

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 at ed.ac.uk
Edinburgh EH9 3JZ
Scotland                                  http://www.ed.ac.uk/~stark

More information about the Types-list mailing list