We are advertising and interviewing for Research Fellowships within the
School of Computing, Information Science and Mathematics at South Bank
University, London. See the advertisement below. Please note the deadline is
7 February 2001.
There is the possibility of working within the Centre for Applied Formal
Methods in area such as:
* Application-Specific High-Performance Processors
* Communicating Sequential Processes (CSP)
* Concurrent Systems
* Functional Programming
* Hardware Compilation
* Hardware/Software Co-design
* High-Integrity Systems
* Industrial-Strength Formal Methods
* Logic Programming
* Parallelism
* Provably Correct Systems
* Rapid Prototyping
* Real-Time Systems
* Safety-Critical Systems
* Z Notation
In particular, we wish to investigate the use of formal methods on the Web,
considering the integration of formal methods, especially of the Z notation
and associated tools, using XML (Extended Markup Language). This will
require an appreciation of formal methods and good technical knowledge of
the World Wide Web. If you wish to discuss this, please contact Prof.
Jonathan Bowen (contact details below).
For further information on the Centre, see: http://www.cafm.sbu.ac.uk/
If interested, please apply formally to the address below ASAP. I suggest
you email your CV and names of your three referees to Prof Robin Whitty as
well for safety in case of slow post. Please mention the Centre for Applied
Formal Methods and if you are interested in working with particular
member(s) of staff in your application.
--
Jonathan Bowen, Professor of Computing
SCISM, South Bank University, Borough Road, London SE1 0AA, UK
Tel: +44 (0)20 7815 7462/7420 Fax: +44 (0)20 7815 7499
Email: [log in to unmask] URL: http://www.sbu.ac.uk/~bowenjp/
----------------------------------------------------------------------------
RESEARCH FELLOWS
Computer Science
SCHOOL OF COMPUTING, INFORMATION SYSTEMS AND MATHEMATICS
The School is a research-rich environment, attaining a 3b in Computer
Science in the last RAE and looking to build on this rating for the next
RAE. Current research within the School is funded by industry, the EPSRC,
and the European Union.
We now seek to strengthen our busy teams through the following appointments
(fixed term 3 years) Ref CISM/BIC
Salary £21,024 - £33,810pa
Opportunities are available for enthusiastic individuals to contribute to
the School's Research activities. Some illustrative projects are:
E-commerce
Investigating the effect of mobile computing technology on e-commerce
topologies and architectural infrastructures within the domain of mobile
commerce.
Evolutionary Computing
Investigating the development and use of evolutionary computing methods in
conjunction with other adaptive and learning techniques and multi-agent
systems.
Formal Methods on the Web
Investigating integration of formal methods, especially of Z notation and
associated tools, using XML.
A Framework Development for Information Visualisation
Developing a general architecture that is suitable for online information
visualisation.
Requirements Engineering Process Modelling
Implementing a framework for assessing and improving large-scale complex
systems evolution.
Applicants holding a doctorate in computing or IT or in a related
discipline, or who have an equivalent level of research experience and
publications are invited to apply. Informal enquiries can be made to
Professor Robin Whitty, Director of Research on 020 7815 7423, e mail:
[log in to unmask]
An application form and further details are available from the Human
Resources Department, South Bank University, 103 Borough Road, London, SE1
0AA, or telephone: (020) 7815 6223 (24 hour answering service) or email:
[log in to unmask] Please quote appropriate reference number. Closing date
for the request of applications 7 February 2001
An Equal Opportunities Employer.
If you apply for this position, please say you saw it FIRST on jobs.ac.uk
URL of this document: http://jobs.ac.uk/jobfiles/HH539.html
Date of input: 22/01/01
|