* PhD positions in Logics, Types, Rewriting adn Automation
@ 2000-05-16 10:21 Fairouz Kamareddine
0 siblings, 0 replies; only message in thread
From: Fairouz Kamareddine @ 2000-05-16 10:21 UTC (permalink / raw)
To: categories
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/
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2000-05-16 10:21 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-05-16 10:21 PhD positions in Logics, Types, Rewriting adn Automation Fairouz Kamareddine
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).