Logic List Mailing Archive

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

Samson Abramsky, Tom Melham, Oege de Moor and myself have recently
founded the "Centre for Metacomputation" at Oxford. We are looking for
a 4-year senior postdoc to help coordinate the activities of the
centre:

	http://web.comlab.ox.ac.uk/oucl/jobs/platform

Topics of interest include types for quotation or reflection,
termination analysis, compositional model checking of (higher-order)
programs, and games semantics for aspect-orientation. Applications
from readers of this list would be very welcome!

Please bring this opportunity to the attention of anyone who might
be interested; naturally I'd be delighted to discuss the particulars
on an informal basis.


Many thanks,

Luke Ong