From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q1BFEenW002694 for ; Sat, 11 Feb 2012 16:14:43 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AgUBAFuFNk9KfVM2kGdsb2JhbABEr2UIIgEBAQEJCQ0HFAQjggsCLAEBOCVdEgEFATUioyAKijmEKAGNYweLUA8CBAoBCwELAgcEAwQEBw4GAQMEBAENGYQ/IIMdlTaLE4MSPYQE X-IronPort-AV: E=Sophos;i="4.73,402,1325458800"; d="scan'208";a="143837155" Received: from mail-ee0-f54.google.com ([74.125.83.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 11 Feb 2012 16:14:43 +0100 Received: by eekb47 with SMTP id b47so1478189eek.27 for ; Sat, 11 Feb 2012 07:14:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=02V9wT3Jer+LU/AReVZUhG78e+kobdeKqWDMqEUX/Oo=; b=AMLCUpTSeimsYSOQYMN19yCThTVVGnkoYBvNiGfC0wUFWtHSuJiryBVzsYv28FiFsh v62O5zPWAfELqOZnxxhZMI7QZIEHdYlxnqdvmoLjh7lSPuEMkCjlJmPHyPI9jaTjs4dm GLxjCKtgFnWpjEx6uTC4ZpEc9t9OkEyBVlbH0= MIME-Version: 1.0 Received: by 10.213.9.74 with SMTP id k10mr1679043ebk.80.1328973281527; Sat, 11 Feb 2012 07:14:41 -0800 (PST) Received: by 10.213.112.147 with HTTP; Sat, 11 Feb 2012 07:14:41 -0800 (PST) Date: Sat, 11 Feb 2012 17:14:41 +0200 Message-ID: From: Florin Craciun To: caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id q1BFEenW002694 Subject: [Caml-list] Ph.D. Studentship at University of Teesside, UK SCHOOL OF COMPUTING University of Teesside Fully Funded University Ph.D. Studentship (3 years) Ref: QinFeb12 Applications are invited for a Ph.D. student to work in the research area of formal methods and software verification under the supervision of Professor Shengchao Qin in the School of Computing in Teesside University. Prof. Qin is affiliated with the Teesside Formal Methods and Programming Research Group (TFMPRG) and has been supervising a number of research associate and Ph.D students. Prospective candidates must have (or expect to have) at least a good honours degree in Computer Science or closely related subjects at grade 2:1 or equivalent or higher. The studentship requires good background knowledge in most of the following areas: logic and discrete mathematics related to computer science, compilers, program analysis and software verification. Strong programming skills will also be essential for the studentship. This fully funded studentship provides a tax-free living allowance at the standard rate (£13,590 p.a. for 2011/12) and full student tuition fees for three years. The successful candidate is expected to start on October 1 2012. More information can be obtained by contacting Prof. Shengchao Qin at s.qin@tees.ac.uk, or by visiting http://www.scm.tees.ac.uk/s.qin. For an application form, applicants should contact graduateresearchschool@tees.ac.uk. Applicants are expected to return their application form plus a CV, a research proposal, their degree certificates and academic transcripts by the following deadline (to graduateresearchschool@tees.ac.uk and copy to Professor Qin): Deadline for application: 8 March 2012. The selection process will start shortly after the deadline and be completed in March.