<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252"></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>We have a PhD place on a HoTT related topic – please apply or spread the word.</div><div>(<a href="http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1420">http://www.nottingham.ac.uk/jobs/currentvacancies/ref/SCI1420</a>)</div><div><br></div><div>Sorry for the tight deadline – this way an international candidate would have enough time to apply for additional funding via the international office.</div><div><br></div><div>Short-listing will take place in January – interviews will be either in person or via Skype. A possible start date is October 2015, but earlier dates are possible.</div><div><br></div><div>Thorsten</div><div><span style="color: rgb(0, 51, 102); font-family: Verdana, sans-serif; font-size: 1.3em; line-height: 1.2em;"><br></span></div><div><span style="color: rgb(0, 51, 102); font-family: Verdana, sans-serif; font-size: 1.3em; line-height: 1.2em;">PhD Studentship - Homotopy Type Theory related topic in the Functional Programming Laboratory</span></div><div><span style="color: rgb(0, 51, 102); font-family: Verdana, sans-serif; font-size: 1.3em; line-height: 1.2em;"><br></span></div><dl class="jobDetails" style="color: rgb(83, 83, 83); font-family: Verdana, sans-serif; font-size: 12px; margin: 0px 0px 2em; padding: 0px; line-height: 15px;"><dt class="jobReference" style="font-size: 1em; margin: 0px; padding: 0px; width: 120px; font-weight: bold; float: left; clear: both;">Reference</dt><dd class="jobReference" style="font-size: 1em; margin: 0px 0px 0.5em 120px; padding: 0px;">SCI1420</dd><dt class="jobClosingDate" style="font-size: 1em; margin: 0px; padding: 0px; width: 120px; font-weight: bold; float: left; clear: both;">Closing Date</dt><dd class="jobClosingDate" style="font-size: 1em; margin: 0px 0px 0.5em 120px; padding: 0px;">Friday, 16th January 2015</dd><dt class="jobArea" style="font-size: 1em; margin: 0px; padding: 0px; width: 120px; font-weight: bold; float: left; clear: both;">Department</dt><dd class="jobArea" style="font-size: 1em; margin: 0px 0px 0.5em 120px; padding: 0px;">Computer Science - Functional Programming Laboratory</dd></dl><p style="color: rgb(83, 83, 83); font-family: Verdana, sans-serif; font-size: 12px; margin: 0px 0px 1.25em; padding: 0px; line-height: 15px;"><strong style="font-size: 1em; margin: 0px; padding: 0px;">Homotopy Type Theory related topic in the Functional Programming Laboratory at University of Nottingham </strong></p><p style="color: rgb(83, 83, 83); font-family: Verdana, sans-serif; font-size: 12px; margin: 0px 0px 1.25em; padding: 0px; line-height: 15px;"><strong style="font-size: 1em; margin: 0px; padding: 0px;">Supervisor:</strong> Dr Thorsten Altenkirch</p><p style="color: rgb(83, 83, 83); font-family: Verdana, sans-serif; font-size: 12px; margin: 0px 0px 1.25em; padding: 0px; line-height: 15px;">We invite applications for a PhD student to work on topics related to the the recently funded EPSRC grant "Homotopy Type Theory: Programming and Verification" obtained by Professor Neil Ghani and Dr Conor McBride (University of Strathclyde), Dr Thorsten Altenkirch (University of Nottingham) and Dr Nicola Gambino (University of Leeds).</p><p style="color: rgb(83, 83, 83); font-family: Verdana, sans-serif; font-size: 12px; margin: 0px 0px 1.25em; padding: 0px; line-height: 15px;">Homotopy Type Theory (HoTT) is a revolutionary new approach to type theory where types are interpreted as spaces, terms as points and equalities as paths. Decades of research in homotopy theory has uncovered the structure of such paths and HoTT uses this structure as the basis of a new theory of equality. Excitingly, within homotopy theory, one naturally studies higher homotopies of paths between paths and this gives the higher dimensional structure of equality we previously lacked. The objective of this grant is to translate the advances of HoTT into more concrete programming language and verification tools.</p><p style="color: rgb(83, 83, 83); font-family: Verdana, sans-serif; font-size: 12px; margin: 0px 0px 1.25em; padding: 0px; line-height: 15px;">The prospective student should have a background in Computer Science and/or Mathematics and have a keen interest in logic, foundations of Computer Science and Mathematics and Programming Languages. A good knowledge of functional programming is helpful. Successful applicants should have completed (or will complete soon) an MSc with a (predicted) first class classification or comparable. Good communication skills and the ability to work with the thriving group in Nottingham and to interact with our colleagues in Strathclyde and Leeds are important assets.</p><p style="color: rgb(83, 83, 83); font-family: Verdana, sans-serif; font-size: 12px; margin: 0px 0px 1.25em; padding: 0px; line-height: 15px;">The studentship will cover PhD tuition fees and a tax free stipend for three years (£13,590 for the 2014-15 academic year) for UK/EU students. For international students it is possible to apply for additional funding via the University of Nottingham to bridge the difference but this is subject to tight deadlines and an additional selection process. Funding is for 3 years, completion of PhD has to happen within 4 years.</p><p style="color: rgb(83, 83, 83); font-family: Verdana, sans-serif; font-size: 12px; margin: 0px 0px 1.25em; padding: 0px; line-height: 15px;">Applicants should email <a href="mailto:Thorsten.Altenkirch@nottingham.ac.uk" style="font-size: 1em; margin: 0px; padding: 0px; color: rgb(83, 83, 83);">Thorsten.Altenkirch@nottingham.ac.uk</a> with:</p><ul style="color: rgb(83, 83, 83); font-family: Verdana, sans-serif; font-size: 12px; margin: 0px 0px 1em; padding: 0px 0px 0px 5px; list-style: none outside none; line-height: 15px;"><li style="font-size: 1em; margin: 0px 0px 0.5em 30px; padding: 0px; list-style-position: outside; list-style-type: disc;">an up-to-date CV, including the email addresses of 1 - 2 relevant academic references; </li><li style="font-size: 1em; margin: 0px 0px 0.5em 30px; padding: 0px; list-style-position: outside; list-style-type: disc;">transcript and/or certificates (scanned);</li><li style="font-size: 1em; margin: 0px 0px 0.5em 30px; padding: 0px; list-style-position: outside; list-style-type: disc;">a short (1 - 2 pages) research proposal;</li><li style="font-size: 1em; margin: 0px 0px 0.5em 30px; padding: 0px; list-style-position: outside; list-style-type: disc;">1-2 examples of their work (eg slides of talks, projects, thesis) in electronic form; and</li><li style="font-size: 1em; margin: 0px 0px 0.5em 30px; padding: 0px; list-style-position: outside; list-style-type: disc;">a cover letter (or email) explaining their reasons to apply for this position (< 500 words).</li></ul><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>