The ULTRA group (Useful Logics, Types, Rewriting, and Applications) at
Heriot-Watt University in Edinburgh is seeking active and energetic
candidates for the following positions:
* 2 postdoctoral research positions, 6 months each (extendable
depending on performance and funding), starting 1 October 2000
(possibly negotiable)
* 1 postgrad student position
Preference will be given to candidates with strong backgrounds in one
or more of the following areas:
* Type inference (i.e., searching for types given an untyped
program) and the use of types for program analysis. Expertise in
intersection/union types is especially useful, but not necessary.
* Equational reasoning for programming language semantics, including
imperative features (I/O, assignments, etc.).
* Logics (both classical and constructive), type theories, rewriting
systems (including lambda calculus), and their interaction in the
Proofs-as-Programs/Propositions-as-Types correspondence
(a.k.a. the Curry/Howard/de Bruijn correspondence).
* Notions of binding, reference, and substitution, including such
areas as explicit substitutions, generalized notions of reduction,
and mechanisms for supporting type definitions in typed calculi.
In all of these areas, there are opportunities both for research in
theoretical foundations (e.g., proving termination, confluence,
subject reduction, extensions to polymorphic types, etc.) and
practical implementations aimed both at programming languages and
theorem provers.
The ULTRA group does research in the design, implementation, and
applications of systems of logic, types, and rewriting. The group
regularly organizes international events both at Heriot-Watt and
abroad. The group also has strong international collaborations (in
particular with the AUTOMATH and Type Theory group in Eindhoven (NL)
and the Church Project (USA)) and regularly brings high-level
researchers to visit Heriot-Watt. Further information about the ULTRA
group can be found at <URL:http://www.cee.hw.ac.uk/ultra/>.
Interested candidates should send the following:
1. Curriculum vitae.
2. Three letters of recommendation sent to us directly by your
references.
3. A two-page description of how your research fits the goals of
the ULTRA group.
This material should be sent to either Prof. Fairouz Kamareddine or
Dr. Joe Wells at one of these addresses:
Postal: Heriot-Watt University
Dept. of Computing & Electrical Eng.
Riccarton, EDINBURGH, EH14 4AS
Scotland, UK
E-mail: [EMAIL PROTECTED], [EMAIL PROTECTED]
Fax: +44 131 451 3327
Further information can be obtained by contacting either
Prof. Kamareddine or Dr. Wells.
