Compiler positions available for week ending November 27

"comp.compilers" <>
29 Nov 2005 16:06:36 -0500

          From comp.compilers

Related articles
Compiler positions available for week ending November 27 (comp.compilers) (2005-11-29)
Compiler positions available for week ending November 27 (comp.compilers) (2011-11-27)
| List of all articles for this month |

From: "comp.compilers" <>
Newsgroups: comp.compilers
Date: 29 Nov 2005 16:06:36 -0500
Organization: Compilers Central
Keywords: jobs
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
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


Reply-To: <>
From: "Oege de Moor" <>
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

Many thanks,


Oege de Moor, DPhil
Professor of Computer Science
Fellow of Magdalen College
University of Oxford

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.