Compiler positions available for week ending November 27

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 compilers@iecc.com.




-------------------------------


Reply-To: <oege@comlab.ox.ac.uk>
From: "Oege de Moor" <oege@comlab.ox.ac.uk>
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:


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


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
basis.


Many thanks,


-Oege


Oege de Moor, DPhil
Professor of Computer Science
Fellow of Magdalen College
University of Oxford
http://progtools.comlab.ox.ac.uk

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