<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; color: rgb(0, 0, 0); font-size: 14px; font-family: Calibri, sans-serif;">
<div>
<div style="font-family: -webkit-standard;">Dear all,</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;">The School of Computer Science in Nottingham is advertising 10</div>
<div style="font-family: -webkit-standard;">fully-funded PhD studentships. Applicants in the area of the</div>
<div style="font-family: -webkit-standard;">Functional Programming Lab (<a href="https://tinyurl.com/fp-notts">https://tinyurl.com/fp-notts</a>) are</div>
<div style="font-family: -webkit-standard;">encouraged! If you are interested in applying, please contact a</div>
<div style="font-family: -webkit-standard;">potential supervisor prior to submitting your application:</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;"> Thorsten Altenkirch - constructive logic, proof assistants,</div>
<div style="font-family: -webkit-standard;"> homotopy type theory, category theory, lambda calculus.</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;"> Venanzio Capretta - type theory, mathematical logic, corecursive</div>
<div style="font-family: -webkit-standard;"> structures, proof assistants, dependently-typed programming.</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;"> Graham Hutton - program calculation and verification, category</div>
<div style="font-family: -webkit-standard;"> theory, recursion operators, coinductive types.</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;"> Henrik Nilsson - functional reactive programming, modelling and</div>
<div style="font-family: -webkit-standard;"> simulation, domain-specific languages, probabilistic languages.</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;">+---------------------------------------------------------------+</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;"> 10 Fully-Funded PhD Studentships</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;"> School of Computer Science</div>
<div style="font-family: -webkit-standard;"> University of Nottingham, UK</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;"> <a href="https://tinyurl.com/10-phds-2018">https://tinyurl.com/10-phds-2018</a></div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;">Applications are invited for up to ten fully-funded PhD</div>
<div style="font-family: -webkit-standard;">studentships in the School of Computer Science at the</div>
<div style="font-family: -webkit-standard;">University of Nottingham, starting on 1 October 2018.</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;">The topics for the studentships are open, but should relate to</div>
<div style="font-family: -webkit-standard;">the interests of one of the School’s research groups: Agents</div>
<div style="font-family: -webkit-standard;">Lab; Automated Scheduling, Optimisation and Planning; Computer</div>
<div style="font-family: -webkit-standard;">Vision Lab; Functional Programming; Intelligent Modelling and</div>
<div style="font-family: -webkit-standard;">Analysis; Mixed Reality Lab; Data Driven Algorithms, Systems</div>
<div style="font-family: -webkit-standard;">and Design and Uncertainty in Data and Decision Making </div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;">The studentships are for three years and include a stipend</div>
<div style="font-family: -webkit-standard;">of £14,553 per year and tuition fees, and are available to</div>
<div style="font-family: -webkit-standard;">students of any nationality. Applicants are normally expected</div>
<div style="font-family: -webkit-standard;">to have a first-class Masters or Bachelors degree in Computer</div>
<div style="font-family: -webkit-standard;">Science or a related discipline, and must obtain the support of</div>
<div style="font-family: -webkit-standard;">a potential supervisor in the School prior to submitting their</div>
<div style="font-family: -webkit-standard;">application. Initial contact with supervisors should be made</div>
<div style="font-family: -webkit-standard;">at least two weeks prior to the closing date for applications.</div>
<div style="font-family: -webkit-standard;">Informal enquiries may be addressed to <a href="mailto:SS-PGR-JC@nottingham.ac.uk">SS-PGR-JC@nottingham.ac.uk</a></div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;">To apply, please submit the following items by email to:</div>
<div style="font-family: -webkit-standard;"><a href="mailto:Christine.Fletcher@nottingham.ac.uk">Christine.Fletcher@nottingham.ac.uk</a>: (1) a brief covering</div>
<div style="font-family: -webkit-standard;">letter that describes your reasons for wishing to pursue a</div>
<div style="font-family: -webkit-standard;">PhD, your proposed research area and topic, and the name of</div>
<div style="font-family: -webkit-standard;">a potential supervisor; (2) a copy of your CV, including your</div>
<div style="font-family: -webkit-standard;">actual or expected degree class(es), and results of all</div>
<div style="font-family: -webkit-standard;">University examinations; (3) an example of your technical</div>
<div style="font-family: -webkit-standard;">writing, such as a project report or dissertation; (4)</div>
<div style="font-family: -webkit-standard;">contact details for two academic referees. </div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;">Closing date for applications: 19th January 2018</div>
<div style="font-family: -webkit-standard;"><br>
</div>
<div style="font-family: -webkit-standard;">+---------------------------------------------------------------+</div>
</div>
<div><br>
</div>
<PRE>
This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please send it back to me, and immediately delete it.
Please do not use, copy or disclose the information contained in this
message or in any attachment. Any views or opinions expressed by the
author of this email do not necessarily reflect the views of the
University of Nottingham.
This message has been checked for viruses but the contents of an
attachment may still contain software viruses which could damage your
computer system, you are advised to perform your own checks. Email
communications with the University of Nottingham may be monitored as
permitted by UK legislation.
</PRE></body>
</html>