Email Gateway (Aug 17 2022 at 13:26): Email Gateway (Aug 17 2022 at 13:26):From: 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@ed.ac.uk
Edinburgh EH9 3JZ
Scotland http://www.ed.ac.uk/~stark
Last updated: May 03 2024 at 04:19 UTC