* job: Postdoc at Oxford
@ 2005-11-22 12:37 Luke Ong
0 siblings, 0 replies; only message in thread
From: Luke Ong @ 2005-11-22 12:37 UTC (permalink / raw)
To: categories
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2005-11-22 12:37 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-11-22 12:37 job: Postdoc at Oxford Luke Ong
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).