[Agda] PhD position in computational music structure analysis using functional programming

[Wouter Swierstra]

==============================================================
       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 at uu.nl.

Anja Volk
email: a.volk at uu.nl