Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!news.iecc.com!.POSTED!nerds-end From: "comp.compilers" Newsgroups: comp.compilers Subject: Compiler positions available for week ending September 7 Date: 7 Sep 2014 10:14:38 -0000 Organization: Compilers Central Lines: 30 Sender: news@iecc.com Approved: comp.compilers@iecc.com Message-ID: <14-09-003@comp.compilers> NNTP-Posting-Host: news.iecc.com X-Trace: miucha.iecc.com 1410101837 53374 2001:470:1f07:1126:0:676f:7373:6970 (7 Sep 2014 14:57:17 GMT) X-Complaints-To: abuse@iecc.com NNTP-Posting-Date: Sun, 7 Sep 2014 14:57:17 +0000 (UTC) Keywords: jobs Posted-Date: 07 Sep 2014 10:57:16 EDT X-submission-address: compilers@iecc.com X-moderator-address: compilers-request@iecc.com X-FAQ-and-archives: http://compilers.iecc.com Xref: csiph.com comp.compilers:1369 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. ------------------------------- Subject: Re: Jobs at the University of Kent, UK From: Richard Jones Date: Fri, 5 Sep 2014 21:59:06 +0100 We've been working on programming languages at Kent for more than thirty years, and it would be great to recruit more people in programming languages, concurrency, verification, theory, type theory, ... Details of three positions are here: https://jobs.kent.ac.uk/fe/tpl_kent01.asp?s=4A515F4E5A565B1A&jobid=38618,1240724854&key=41286990&c=545876250256&pagestamp=sedufjhfxtuvnjtwsc If you're interested in discussing, just send us an email. Richard Richard Jones | Professor of Computer Systems | University of Kent School of Computing, University of Kent, Canterbury, Kent CT2 7NF, UK T +44 1227 827943 | F +44 1227 762811 | W http://www.cs.kent.ac.uk/~rej/