Computer Science
Computer Science
1. To investigate the applications of game semantics to programming languages and the computational interpretation of Classical Logic. The applicant should have a strong background in logic and semantics, and preferably some familiarity with recent developments in Game Semantics. Duration: 12 months. Ref: 896767
2. To investigate applications of game semantics to concurrent systems. The applicant should have a good background in concurrency and semantics. Both these posts are associated with the project ``Foundational Structures in Computer Science''. The Principal Investigator is Professor Samson Abramsky. Duration: 12 months. Ref: 896768
3. To work on the development and efficient implementation of stochastic process algebra for computer performance modelling. This is project is supervised by Dr. Jane Hillston. Duration: 20 months. Ref: 896769
4. To investigate the relationship between algebraic and type-theoretic accounts of specification refinement, with possible application to Extended ML and/or Lego. This project is supervised by Prof. D. Sannella. Duration: 11 months. Ref: 896770
5. Research into Computer Assisted Reasoning. Use of an interactive proof assistant based on type theory for inductive proof. Use of a proof assistant designed for teaching and implementation on the www. This project is supervised by Prof. R. Burstall. Duration: 10 months. Ref: 896771 Computer Systems Group
6. To work on the development of hardware and software in a project to exploit innovative optical networks and FPGA based logic to support parallel computing on clusters of workstations. The project is supervised by Prof. Rob Pooley. Duration: up to 24 months. Ref: 896772
7. To develop methods and tools for interactive optimisation of memory hierarchy behaviour in computationally-intensive applications. Good first degree in Computer Science and strong interest in one or more of the following topics: programm analysis and optimisation, program transformations, dynamic program behaviour, caches and memory hierarchies, auto-parallelisation, interactive software engineering tools. The project is supervised by Dr. Nigel Topham. Duration: up to 24 months. Ref: 896773
8. Requirements analysis, design, prototyping and evaluation of user interfaces for personal and social filtering of Web documents. The work will be undertaken as part of a large EC-funded project. The project's objectives are to develop tools to help scientific, technical and other professional Internet users to find reliable, valuable, important and relevant information. The project is supervised by Dr. Rob Procter. Duration: up to 18 months. Ref: 896773
Salary for all positions will be in the range 15735 to 20107 Further particulars including details of the application procedure should be obtained from: The Personnel Office, The University of Edinburgh. 1 Roxburgh Street, Edinburgh EH8 9TB Tel: 0131-650-2511 (24 hour answering service) quoting the appropriate reference number closing date: 5 November 1998 Late applications will be considered.