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 8E8527F722 for ; Mon, 14 Apr 2014 10:34:10 +0200 (CEST) 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.192.42; 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.192.42 as permitted sender) identity=mailfrom; client-ip=209.85.192.42; 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-qg0-f42.google.com) identity=helo; client-ip=209.85.192.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wouter.swierstra@gmail.com"; x-sender="postmaster@mail-qg0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwCAA6dS1PRVcAqlGdsb2JhbABaFoMrV4kruR5RgRkIFg4BAQEBBwsLCRIpAYIdTwEbHgMKCBBWBwERAQUBKAEMhXaBcQEDEQgFmRSDD4xfC4MDlyQKGScNZIYQAQUECI4AEQFLgwqBOgSFGo9ag22BNoJsiFWDXRgphGE7NQECdgcXBg X-IPAS-Result: AtwCAA6dS1PRVcAqlGdsb2JhbABaFoMrV4kruR5RgRkIFg4BAQEBBwsLCRIpAYIdTwEbHgMKCBBWBwERAQUBKAEMhXaBcQEDEQgFmRSDD4xfC4MDlyQKGScNZIYQAQUECI4AEQFLgwqBOgSFGo9ag22BNoJsiFWDXRgphGE7NQECdgcXBg X-IronPort-AV: E=Sophos;i="4.97,855,1389740400"; d="scan'208";a="68096566" Received: from mail-qg0-f42.google.com ([209.85.192.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Apr 2014 10:34:09 +0200 Received: by mail-qg0-f42.google.com with SMTP id q107so7972400qgd.15 for ; Mon, 14 Apr 2014 01:34:08 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:date:message-id:subject:from:to:content-type; bh=vWJWWnJR9Z8JPINkJ76/eVdywp2OekfXizS0Hj8q6+U=; b=qYbz0ujCpGpizXhVz4H0fGBZoKTw03Tf/d7zFtz566xHkUjqWOy9LmvZ1PwDIUz/tm vHcx3QFD3FRzfMNNtyTsFzc/j0Kj828rdUDPcMXT/uDOGxO6o/gO2mL5oTR9fMAUS9ji I2Pmldfv6iBqaa5lBybbMy9yAwBCUrGedqNZKx9oQl8xpimexJxjMFZF2BG3WUk3IMX1 xLnamUoKxWJHwG5OvncdcX88qFO6VVZ3A3imbJeD7bSuEonJH+q5kb/sZpSCE6lAdPzX uYewpIAo1guK6sDy30lWIeVBFD+gylnteLCO62MPqfka7+gsVVRqljINPGNR1bFPp/dE 3YgQ== MIME-Version: 1.0 X-Received: by 10.140.33.244 with SMTP id j107mr4052490qgj.81.1397464448822; Mon, 14 Apr 2014 01:34:08 -0700 (PDT) Received: by 10.224.216.138 with HTTP; Mon, 14 Apr 2014 01:34:08 -0700 (PDT) Date: Mon, 14 Apr 2014 10:34:08 +0200 Message-ID: From: Wouter Swierstra To: undisclosed-recipients:; Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: w.s.swierstra@uu.nl Subject: [Caml-list] PhD Position in dependent types, testing & hardware design ============================================================== VACANCY : 1x Phd position in dependent types, testing & hardware design ============================================================== 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. Financed by the Netherlands Organisation for Scientific Research (NWO), we currently have a job opening for: * 1x PhD researcher (PhD student) Software Technology The aim of the project is to develop a domain specific language for testing and verifying hardware, embedded in a general purpose dependently typed programming language. Besides research, the successful candidate will be expected to help supervise MSc students and assist teaching courses. We aim to start September 1, 2014 at the latest, but preferably sooner. --------------------------------- What we are looking for --------------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English well, and be proficient in producing scientific reports. Knowledge of and experience with at least one of the following four areas is essential: * functional programming, such as Haskell or ML; * dependently typed programming, such as Agda, Coq, or Idris; * software testing, including familiarity with libraries such as QuickCheck and SmallCheck; * hardware description languages, such as Lava or VHDL; --------------------------------- 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, a partially paid parental leave, 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 A part-time of at least 0.8 fte may also be possible. Salary starts at EURO 2,083 and increases to EURO 2,664 gross per month in the fourth year of the appointment. Utrecht is a great place to live, having been ranked as one of the happiest places in the world, according to BBC travel. Living in Utrecht: http://bitly.com/HdbL0X --------------------------------- 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 the May 30th, 2014. You can apply through the University's website: http://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?PortalID=4124&VacatureID=654004 --------------- Contact --------------- For further information you can direct your inquiries to: Wouter Swierstra phone: +31 (0)30 253 9207 e-mail: w.s.swierstra@uu.nl. website: http://www.staff.science.uu.nl/~swier004