============================================================== VACANCY : PhD position in computational music structure analysis using functional programming ============================================================== The research group of Software Technology is part of the Software Systems division of in the department of Information and Computer Science at the Utrecht University. We focus our research on functional programming, compiler construction, program analysis, validation, and verification. We are currently advertising a PhD position, together with the Interaction Technology group, to explore the use of functional programming -- and data type generic programming in particular -- to describe and analyze musical structure. This project continues the line of research initiated by Bas de Haas and José Pedro Magalhães, that has lead to several successful publications and a flourishing start-up, Chordify. Besides research, the successful candidate will be expected to help supervise MSc students and assist teaching courses. Candidates must be willing to start before January 2017. --------------------------------- What we are looking for --------------------------------- The ideal candidate should have an MSc in Computer Science, be highly motivated, speak and write English well, and be proficient in producing scientific reports. Furthermore, candidates should be able to demonstrate * experience with functional programming languages, such as Haskell, OCaml, ML, Agda, Idris, or Coq; * an interest in music and musical theory. --------------------------------- What we offer --------------------------------- The candidate is offered a full-time position for four years. A part-time of at least 0.8 fte may also be possible. The salary is supplemented with a holiday bonus of 8% and an end-of-year bonus of 8,3% per year. In addition we offer: a pension scheme, partially paid parental leave, and flexible employment conditions. Conditions are based on the Collective Labour Agreement Dutch Universities. The research group will provide the candidate with necessary support on all aspects of the project. More information is available on the website: Terms and employment: http://bit.ly/1elqpM7 Utrecht is consistently ranked as one of the best places in the world to live: http://bbc.in/2aFS5n1 --------------------------------- In order to apply --------------------------------- To apply please attach a letter of motivation, a curriculum vitae, and (email) addresses of two referees. Make sure to also include a transcript of the courses you have followed (at bachelor and master level), with the grades you obtained, and to include a sample of your scientific writing, such as your master thesis. It is possible to apply for this position if you are close to obtaining your Master's. In that case include a letter of your supervisor with an estimate of your progress, and do not forget to include at least a sample of your technical writing skills. Application closes on September 7th. You can apply through the University's website: http://bit.ly/2abk3pe --------------- Contact --------------- For further information you can direct your inquiries to: Wouter Swierstra e-mail: w.s.swierstra@uu.nl. Anja Volk email: a.volk@uu.nl