Fwd: 10 PhD studentships in Nottingham

From: Sandra Dylus <sad_at_informatik.uni-kiel.de>
Date: Mon, 4 Dec 2017 11:02:14 +0100

Hi,

I think that the following announcement could be of interest for =
recipients of this list.

Cheers
Sandra

Begin forwarded message:

> From: Graham Hutton <Graham.Hutton_at_nottingham.ac.uk>
> Subject: [Haskell-cafe] 10 PhD studentships in Nottingham
> Date: 4 December 2017 at 10:40:48 GMT+1
> To: "haskell-cafe_at_haskell.org" <haskell-cafe_at_haskell.org>
>
> Dear all,
>
> The School of Computer Science in Nottingham is advertising 10
> fully-funded PhD studentships. Applicants in the area of the
> Functional Programming Lab (https://tinyurl.com/fp-notts) are
> encouraged! If you are interested in applying, please contact a
> potential supervisor prior to submitting your application:
>
> Thorsten Altenkirch - constructive logic, proof assistants,
> homotopy type theory, category theory, lambda calculus.
>
> Venanzio Capretta - type theory, mathematical logic, corecursive
> structures, proof assistants, dependently-typed programming.
>
> Graham Hutton - program calculation and verification, category
> theory, recursion operators, coinductive types.
>
> Henrik Nilsson - functional reactive programming, modelling and
> simulation, domain-specific languages, probabilistic languages.
>
> Best wishes,
>
> Graham
>
> +---------------------------------------------------------------+
>
> 10 Fully-Funded PhD Studentships
>
> School of Computer Science
> University of Nottingham, UK
>
> https://tinyurl.com/10-phds-2018
>
> Applications are invited for up to ten fully-funded PhD
> studentships in the School of Computer Science at the
> University of Nottingham, starting on 1 October 2018.
>
> The topics for the studentships are open, but should relate to
> the interests of one of the School's research groups: Agents
> Lab; Automated Scheduling, Optimisation and Planning; Computer
> Vision Lab; Functional Programming Lab; Intelligent Modelling
> and Analysis; Mixed Reality Lab; Data Driven Algorithms, Systems
> and Design and Uncertainty in Data and Decision Making.
>
> The studentships are for three years and include a stipend
> of £14,553 per year and tuition fees, and are available to
> students of any nationality. Applicants are normally expected
> to have a first-class Masters or Bachelors degree in Computer
> Science or a related discipline, and must obtain the support of
> a potential supervisor in the School prior to submitting their
> application. Initial contact with supervisors should be made
> at least two weeks prior to the closing date for applications.
> Informal enquiries may be addressed to SS-PGR-JC_at_nottingham.ac.uk
>
> To apply, please submit the following items by email to:
> Christine.Fletcher_at_nottingham.ac.uk: (1) a brief covering
> letter that describes your reasons for wishing to pursue a
> PhD, your proposed research area and topic, and the name of
> a potential supervisor; (2) a copy of your CV, including your
> actual or expected degree class(es), and results of all
> University examinations; (3) an example of your technical
> writing, such as a project report or dissertation; (4)
> contact details for two academic referees.
>
> Closing date for applications: 19th January 2018




_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Mon Dec 04 2017 - 11:59:18 CET

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:09 CEST