From: Fairouz Kamareddine <fairouz@cee.hw.ac.uk>
To: categories@mta.ca
Subject: PhD positions in Logics, Types, Rewriting adn Automation
Date: Tue, 16 May 2000 11:21:32 +0100 [thread overview]
Message-ID: <E12reTk-0001T4-00@amida> (raw)
The ULTRA group (Useful Logics, Types, Rewriting and Automation)
HERIOT-WATT UNIVERSITY
Department of Computing and Electrical Engineering
EPSRC PhD Studentships
The department has a number of studentships available for UK and EU nationals
to undertake research leading to a PhD.
We encourage the applications of those interested in any of the areas below:
1. the study and automation of logics, type theories, and rewriting theory
2. the logical/type theoretical foundations of programming languages,
the formalization of mathematics, and theorem proving.
3. the design and implementation of programming langauges and theorem provers.
4. The Lambda calculus.
Candidates should hold or expect to hold a good honours degree or the
equivalent.
Further information about applications and research projects we offer
at the ULTRA group can be obtained by contacting
Professor Fairouz Kamareddine (fairouz@cee.hw.ac.uk)
Further details of the ULTRA group can be found on:
http://www.cee.hw.ac.uk/ultra/
reply other threads:[~2000-05-16 10:21 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=E12reTk-0001T4-00@amida \
--to=fairouz@cee.hw.ac.uk \
--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).