From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 97E6C7F72A; Tue, 9 Aug 2016 15:08:29 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=wouter.swierstra@gmail.com; spf=Pass smtp.mailfrom=wouter.swierstra@gmail.com; spf=None smtp.helo=postmaster@mail-ua0-f177.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wouter.swierstra@gmail.com) identity=pra; client-ip=209.85.217.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wouter.swierstra@gmail.com"; x-sender="wouter.swierstra@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of wouter.swierstra@gmail.com designates 209.85.217.177 as permitted sender) identity=mailfrom; client-ip=209.85.217.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wouter.swierstra@gmail.com"; x-sender="wouter.swierstra@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ua0-f177.google.com) identity=helo; client-ip=209.85.217.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wouter.swierstra@gmail.com"; x-sender="postmaster@mail-ua0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BDAQCN1KlXhrHZVdFdDoQNfAeBaKddj1iCGRuCL4R+BzoSAQEBAQEBARIBAQEICwsJGS+EdxEdATkDDQUQDwImAiQSAQUBIgESIod1AxcJpBWBMj4xizuBb4JWBYZ1Jw2EVwIGEHGJRYIrghgRAYMdgloFiCWRFIYdgnyFcYFrhFuIfYhFhicTHoEPJQZogQJRHBd6PToyAQsBhX0NFweBGAEBAQ X-IPAS-Result: A0BDAQCN1KlXhrHZVdFdDoQNfAeBaKddj1iCGRuCL4R+BzoSAQEBAQEBARIBAQEICwsJGS+EdxEdATkDDQUQDwImAiQSAQUBIgESIod1AxcJpBWBMj4xizuBb4JWBYZ1Jw2EVwIGEHGJRYIrghgRAYMdgloFiCWRFIYdgnyFcYFrhFuIfYhFhicTHoEPJQZogQJRHBd6PToyAQsBhX0NFweBGAEBAQ X-IronPort-AV: E=Sophos;i="5.28,494,1464645600"; d="scan'208";a="229440402" Received: from mail-ua0-f177.google.com ([209.85.217.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Aug 2016 14:51:15 +0200 Received: by mail-ua0-f177.google.com with SMTP id 74so17698835uau.0; Tue, 09 Aug 2016 05:51:15 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to :content-transfer-encoding; bh=FJbgOuqIJ4IjBAa2AnPz9a7ASe7x1BcVsRolxQSeOkE=; b=UrM0SEi5KGGomVBJiYLU4mmrfJAJUv038eE/jx4hLvK5SWDSgipr/OJRwktJgLMYpT 84m6EVd4CLAfl7SpVjPJN7Qvnhl801Cnri/IlQ/8iil/XZ8Kuv2sV085dFDy9YJbxQAU k+fBSI45u7jzRP17zh2Gra+eGw8Hp84YUeOH7+L/sRaanxM4tKEyhbrUle7y4ekuvC8y vwhNg4i7MbVxum87AvGDJqqv0Af2TnonZ3B+IF997wJq43nPp+9XJEC0McUMwAsYAYt1 vjHiREiX9d1ZPjjis0CnfSPCmH6NoqspYpxtBL5o+WvvnIVPR77Xaex/Tfq+SWvEg6A/ SXjA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to:content-transfer-encoding; bh=FJbgOuqIJ4IjBAa2AnPz9a7ASe7x1BcVsRolxQSeOkE=; b=AfzGAutBzITINx6EGOcyFoQH/FqLQqek0yo+VEOp0cuE5KnF+dTP/4Nfxgnspkui7k z7OLrqddSQCtyPrrJtj5Ya8FpdZh3i8m8VXV5trKT922/lqKG+4S8LN863q6TrI47rGz yB2vY3cjTMWMdKrZD7wf4gIjdfyYeZraLfV2yyxhcAzPBqLyuFDoQDZKMSQU8XN4mbPo dOfmIvv3UG6Lbc1tiHLG1dxDI7Gb9J03h1ZRuqbQa0NfIWx41amayEA/DmLPGoanZcxW HBGRFABqZYWcRj3ANGCpWIjX70vmSdg4zvdlXwTT2lzM/Gjn99x0mVFaFbxHwpg3cckn Yqgg== X-Gm-Message-State: AEkoouvugjEuE0YrIOctRYvO6SS8vxhN0aCu/imgTx4QWs2BHolma0s759wY9e19d8rdFl8omZcWigYVXoYT6A== X-Received: by 10.31.8.129 with SMTP id 123mr4676080vki.33.1470747074736; Tue, 09 Aug 2016 05:51:14 -0700 (PDT) MIME-Version: 1.0 Sender: wouter.swierstra@gmail.com Received: by 10.31.248.73 with HTTP; Tue, 9 Aug 2016 05:51:14 -0700 (PDT) From: Wouter Swierstra Date: Tue, 9 Aug 2016 14:51:14 +0200 X-Google-Sender-Auth: 2MhB6E_3Dq7IfuA-XViVmhLY3Yk Message-ID: To: haskell@haskell.org, idris-lang@googlegroups.com, Agda list mailing , coq-club@inria.fr, caml-list@inria.fr, types-announce@lists.seas.upenn.edu Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Validation-by: w.s.swierstra@uu.nl Subject: [Caml-list] PhD position in computational music structure analysis using functional programming =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D VACANCY : PhD position in computational music structure analysis using functional programming =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D 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=C3=A9 Pedro Magalh=C3=A3e= s, 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