<html><head></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: Consolas; font-size: medium; ">Hi,</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; ">we are advertising 10 PhD positions in Nottingham, home of the</div><div style="font-family: Consolas; font-size: medium; ">Functional Programming Lab. Students who are interested in dependent</div><div style="font-family: Consolas; font-size: medium; ">types and related topics (such as formal proofs, categorical semantics,</div><div style="font-family: Consolas; font-size: medium; ">homotopy type theory, implementations of dtp languages, real world</div><div style="font-family: Consolas; font-size: medium; ">applications of dtp) are encouraged to apply.</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; ">Please forward to interested students!</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; ">Thorsten</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; ">+-----------------------------------------------------------+</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; "> 10 Fully-Funded PhD Studentships</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; "> School of Computer Science</div><div style="font-family: Consolas; font-size: medium; "> University of Nottingham, UK</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; ">Applications are invited for up to ten fully-funded PhD</div><div style="font-family: Consolas; font-size: medium; ">studentships in the School of Computer Science at the</div><div style="font-family: Consolas; font-size: medium; ">University of Nottingham, starting on 1st October 2014.</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; ">The topics for the studentships are open, but should relate</div><div style="font-family: Consolas; font-size: medium; ">to the interests of one of the School©ös research groups:</div><div style="font-family: Consolas; font-size: medium; ">Agents Lab; Automated Scheduling, Optimisation and Planning;</div><div style="font-family: Consolas; font-size: medium; ">Computer Vision Lab; Functional Programming Lab; Intelligent</div><div style="font-family: Consolas; font-size: medium; ">Modelling and Analysis; Mixed Reality Lab; Networked Systems.</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; ">The studentships are for three years and include a stipend</div><div style="font-family: Consolas; font-size: medium; ">of ¡Ì13,726 per year and tuition fees, and are available to</div><div style="font-family: Consolas; font-size: medium; ">students of any nationality. Applicants are normally expected</div><div style="font-family: Consolas; font-size: medium; ">to have a first-class Undergraduate or Masters degree in</div><div style="font-family: Consolas; font-size: medium; ">Computer Science or a related discipline, and should discuss</div><div style="font-family: Consolas; font-size: medium; ">their interest and obtain the support of a potential</div><div style="font-family: Consolas; font-size: medium; ">supervisor in the School before applying.</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; ">To apply, please submit the following items by email to</div><div style="font-family: Consolas; font-size: medium; "><<a href="mailto:Christine.Fletcher@nottingham.ac.uk">Christine.Fletcher@nottingham.ac.uk</a>>: (1) a brief covering</div><div style="font-family: Consolas; font-size: medium; ">letter that describes your reasons for wishing to pursue a</div><div style="font-family: Consolas; font-size: medium; ">PhD, any ideas you have regarding possible areas or topics,</div><div style="font-family: Consolas; font-size: medium; ">and the name of a potential supervisor; (2) a copy of your</div><div style="font-family: Consolas; font-size: medium; ">CV, including your actual or expected degree class(es),</div><div style="font-family: Consolas; font-size: medium; ">and results of all University examinations; (3) an example</div><div style="font-family: Consolas; font-size: medium; ">of your technical writing, such as a project report or</div><div style="font-family: Consolas; font-size: medium; ">dissertation; (4) contact details for two academic referees.</div><div style="font-family: Consolas; font-size: medium; "><br></div><div style="font-family: Consolas; font-size: medium; ">Closing date for applications: 10th January 2014</div></div><div><br></div></body></html>