We are now advertising and interviewing for Research Fellowships within the
School of Computing, Information Science and Mathematics at South Bank
University, London. See the advertisement below. This includes 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
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.
Best wishes for 2001.
--
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/
----------------------------------------------------------------------------
----
The School of Computing, Information Systems and Mathematics, a dynamic and
expanding school within the Faculty of Engineering, Science and Technology,
intends to appoint a number of 3-year Research Fellowships. Areas of
interest include, biomedical informatics, computer graphics, e-commerce,
evolutionary computing, formal methods, hardware design methods, HCI,
knowledge-based systems, mobile multimedia applications, process modelling,
robotics, social and human aspects of IT, software engineering, web
databases. Within these fields 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 ('m-commerce').
Evolutionary Computing
Short description needed here.
Formal Methods on the Web
Investigating the integration of formal methods (especially the Z notation
and associated tools) on the World Wide Web using XML (Extended Markup
Language)
Requirements Engineering Process Modelling.
Short description needed here.
Visualisation and graphics
Short description needed here.
For a full list of research centres and their current activities see
www.sbu.ac.uk/scism/.
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 submit their CV, including the names of three
referees, together with a short statement describing their research
interests to the Department of Human Resources, South Bank University,
Borough Road, London SE1 0AA. Applicants are welcome to discuss these
appointments with Prof. Robin Whitty, Director of Research in the School of
Computing, Information Systems and Mathematics on 0207 815 7423 or
[log in to unmask]
Salary will be upon the Research Fellow (£17000-£25000) or Senior Research
Fellow (£23000-£31000) scale depending on experience.
Closing date for applications is 12 January 2001.
--------------------------------------------------------------
--
Robin Whitty
School of Computing, Information Systems and Mathematics
Room N110, Faraday Wing
South Bank University
London SE1 0AA, UK
------------------
Tel: 0171 815 7423
Fax: 0171 815 7550
Email: [log in to unmask]
Web: http://www.sbu.ac.uk/~whittyr
