Coordinator position (postdoctoral) at the "Centre
for Metacomputation" in Oxford (4 year position)

The recently-founded "Centre for Metacomputation" at Oxford is looking for a 4-year senior postdoc to help coordinate the activities of the centre. Topics of interest include types for quotation or reflection, termination analysis, compositional model checking of (higher-order) programs, and games semantics for aspect-orientation.

The closing date for receipt of applications is 6th December 2005. For more information, see http://web.comlab.ox.ac.uk/oucl/jobs/platform.