From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4986 Path: news.gmane.org!not-for-mail From: James Worrell Newsgroups: gmane.science.mathematics.categories Subject: Two Fully Funded PhD Positions at Oxford University Computing Laboratory Date: Wed, 17 Jun 2009 22:03:42 +0100 (BST) Message-ID: Reply-To: James Worrell NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; CHARSET=ISO-8859-1; FORMAT=flowed Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1245282884 18245 80.91.229.12 (17 Jun 2009 23:54:44 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 17 Jun 2009 23:54:44 +0000 (UTC) To: categories@mta.ca Original-X-From: categories@mta.ca Thu Jun 18 01:54:42 2009 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from mailserv.mta.ca ([138.73.1.1]) by lo.gmane.org with esmtp (Exim 4.50) id 1MH4xj-0007Vp-PX for gsmc-categories@m.gmane.org; Thu, 18 Jun 2009 01:54:39 +0200 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1MH4P4-0005zE-9I for categories-list@mta.ca; Wed, 17 Jun 2009 20:18:50 -0300 Content-ID: Original-Sender: categories@mta.ca Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:4986 Archived-At: The Verification Research Group is offering two D.Phil studentships in Ox= ford=20 University's Computing Laboratory (web.comlab.ox.ac.uk). These positions= are=20 associated with the EPSRC project "Model Checking Real-Time Systems: Algo= rithms=20 and Complexity'' under the supervision of Dr James Worrell, which will de= al=20 with a logical and automata-theoretic framework for model checking real-t= ime=20 systems. The studentships are fully funded at EU fees level (non-EU candidates wil= l need=20 supplementary funding) for 3 =C2=BD years from 1st October 2009. Students= admitted with a later start date (but not later than April 1st 2010) will receive = a=20 guarantee of 3 years funding. Each studentship includes a stipend of at = least=20 =C2=A313290 per year as well as provision for travel to conferences. The studentships will suit candidates with a strong background in theoret= ical=20 computer science, including at least one of the following areas: algorith= ms,=20 automata theory, complexity theory and logic. Please contact James Worrell (jbw@comlab.ox.ac.uk) for further details. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]