From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: Research Position at Sussex
Date: Wed, 14 Jan 1998 14:35:14 -0400 (AST) [thread overview]
Message-ID: <Pine.OSF.3.96.980114143443.19422A-100000@mailserv.mta.ca> (raw)
Date: Wed, 14 Jan 1998 09:53:54 +0000 (GMT)
From: Matthew Hennessy <matthewh@cogs.susx.ac.uk>
UNIVERSITY OF SUSSEX
RESEARCH FELLOW IN THE FOUNDATIONS OF COMPUTING
One Research Fellow is required to join the EPSRC funded project
entitled ``Foundations for the Integration of Concurrent Distributed
and Functional Computation'', under the direction of
Matthew Hennessy.
The aim of the project is to
- provide a uniform coherent semantic foundation for concurrent,
distributed and functional behaviour;
- develop proof methodologies for establishing properties of process
descriptions expressed in specification languages using these
paradigms;
- develop prototypes of supporting verification systems.
The project has already been running for approximately 18 months
and work has concentrated on two streams of research:
- development of languages, type systems and behavioural
theories for mobile computing, where independent processes roam
widely distributed networks in search of resources and information.
- denotational models for languages combining higher-order
functional notation with the pi-calculus (examples include
Cml and core Facile)
The successful candidate will be expected to carry out research
related to one of these topics. The appointment will be for a period
of two years, starting on 1/04/98, and salary will be related to the
academic 1A scale. A Ph.D. in Computer Science or Mathematics or
equivalent experience is required. In addition to normal research
duties the successful candidate will be expected to provide some
assistance to undergraduate teaching.
More details of the project and the conditions of service are available
at ftp://ftp.cogs.sussex.ac.uk/pub/users/matthewh/details.ps.gz
To apply please submit applications to
Prof M Hennessy
School of COGS
University of Sussex
Falmer
Brighton BN1 9QH
UK
Tel: +44 01273 678101
email: matthewh@cogs.sussex.ac.uk
Applications should include
- a detailed curriculum vitae,
- names of three referees with their email addresses,
- a statement outlining the candidates proposed contribution
to the goals of the project,
- copies (or URL references) of any relevant publications.
reply other threads:[~1998-01-14 18:35 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.OSF.3.96.980114143443.19422A-100000@mailserv.mta.ca \
--to=cat-dist@mta.ca \
--cc=categories@mta.ca \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).