|Compiler positions available for week ending November 27 email@example.com (comp.compilers) (2005-11-29)|
|Compiler positions available for week ending November 27 firstname.lastname@example.org (comp.compilers) (2011-11-27)|
|Date:||29 Nov 2005 16:06:36 -0500|
|Posted-Date:||29 Nov 2005 16:06:36 EST|
This is a digest of ``help wanted'' and ``position available'' messages
received at comp.compilers during the preceding week. Messages must
advertise a position having something to do with compilers and must also
conform to the guidelines periodically posted in misc.jobs.offered.
Positions that remain open may be re-advertised once a month. To respond
to a job offer, send mail to the author of the message. To submit a
message, mail it to email@example.com.
From: "Oege de Moor" <firstname.lastname@example.org>
Subject: postdoc at Oxford
Date: Mon, 21 Nov 2005 18:56:00 -0000
Organization: University of Oxford
Samson Abramsky, Luke Ong, Tom Melham and myself have just founded the
"Centre for Metacomputation" at Oxford. We are looking for a 4-year senior
postdoc to help coordinate the activities:
Topics of interest include types for quotation, termination analysis, model
checking of higher-order programs, and games semantics for
aspect-orientation. We are particularly keen on applicants who have
substantial experience of implementing program analysis tools
on the basis of sound theory.
Please bring this to the attention of anyone who might be interested;
naturally I'd be delighted to discuss the particulars on an informal
Oege de Moor, DPhil
Professor of Computer Science
Fellow of Magdalen College
University of Oxford
Return to the
Search the comp.compilers archives again.