From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/8712 Path: news.gmane.org!not-for-mail From: Marcelo Fiore Newsgroups: gmane.science.mathematics.categories Subject: Faculty position in PL/verification/theorem-proving at Cambridge. Date: Thu, 1 Oct 2015 15:17:10 +0100 (BST) Message-ID: Reply-To: Marcelo Fiore NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; format=flowed; charset=US-ASCII X-Trace: ger.gmane.org 1443741727 10558 80.91.229.3 (1 Oct 2015 23:22:07 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Thu, 1 Oct 2015 23:22:07 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Fri Oct 02 01:21:59 2015 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.7.22]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1ZhnAl-0002rw-34 for gsmc-categories@m.gmane.org; Fri, 02 Oct 2015 01:21:59 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:60181) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1ZhnA2-0006ff-W2; Thu, 01 Oct 2015 20:21:15 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1ZhnA4-00047V-KW for categories-list@mlist.mta.ca; Thu, 01 Oct 2015 20:21:16 -0300 User-Agent: Alpine 2.10 (DEB 1266 2009-07-14) Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:8712 Archived-At: Faculty position in PL/verification/theorem-proving at Cambridge [this is roughly analogous to a US tenured associate professor position] http://www.jobs.cam.ac.uk/job/8134/ The University of Cambridge Computer Laboratory is seeking to recruit a new faculty member at the Lecturer or Senior Lecturer level who can contribute to research in areas such as (but not limited to) the following: - theoretical foundations of programming - programming language design and implementation - formal specification and verification of computer systems - theorem proving and its application to hardware and software The ideal candidate will have interests that range from mathematical theory to practical applications and will demonstrate the potential to collaborate with Computer Laboratory research students, staff and faculty across a range of topics. Notwithstanding the above focus, exceptional candidates from any area of Computer Science are also encouraged to apply. It is likely that successful candidates will already have a strong track record in one or more relevant research areas and already have some postdoctoral experience. Ideally the candidate will also have experience of teaching and generating research grant income. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]