[TYPES] Research positions in Mobility and Security at Edinburgh

[Ian.Stark@ed.ac.uk]

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