From: categories <cat-dist@mta.ca>
To: categories <categories@mta.ca>
Subject: PhD Studentship
Date: Tue, 18 Nov 1997 21:09:27 -0400 (AST) [thread overview]
Message-ID: <Pine.OSF.3.90.971118210848.1802A-100000@mailserv.mta.ca> (raw)
Date: Mon, 17 Nov 1997 17:59:19 GMT
From: Barney Hilken <bhilken@cs.man.ac.uk>
Please could you bring this to the attention of any suitable candidates?
My apologies to those who receive multiple copies.
Barney.
-----------------------------------------------------------------------
**** Research studentship leading to a PhD ****
University of Manchester,
Department of Computer Science.
A new research project, `Topological Duality for Modal, Temporal and
Program Logics', has recently been awarded funding by the Engineering
and Physical Sciences Research Council. A three-year PhD studentship
is on offer on this project. This is an opportunity to join an
active research group working in applied logic and theoretical
Computer Science. The student will gain training in research skills
and learn how to apply mathematics to fundamental problems in
Computer Science. The Computer Science Department of Manchester
University is a large and active department, with research activities
in many aspects of Computer Science.
The project aims to use new results in modal logic to describe the
behaviour of computing systems. The student will work on applications to
dynamic logic (a logic of system states), and through this work
will gain a thorough training in modal logic, category theory,
semantics and theoretical computer science.
Prerequisites are a good degree, at least half of which is mathematics,
including knowledge of algebra, topology and logic. Some knowledge of
Computer Science, though not essential, would be useful.
The funding covers fees and subsistence for UK citizens, or fees only
for EU citizens. The start date is as soon as possible, and not later
than 1st October 1998.
Investigators: Dr. David Rydeheard and Dr. Harold Simmons,
with Dr. Barnaby Hilken.
For further details contact: Dr. David E. Rydeheard,
email: david@cs.man.ac.uk, tel: +161 275 6164
For application forms contact: Mrs. Janet Boyd,
The Postgraduate Office, Department of Computer Science,
The University, Oxford Road Mancheter, M13 9PL.
Quoting: GR/L85756
Or email: janetb@cs.man.ac.uk
next reply other threads:[~1997-11-19 1:09 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-11-19 1:09 categories [this message]
[not found] <FEEDKFIAMPBIEODNGAOEMEMLCBAA.p.mueller@web.de>
2003-06-07 14:18 ` PhD studentship Ranko Lazic
2011-04-16 17:33 Neil Ghani
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.90.971118210848.1802A-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).