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 4D5AE7F6CC for ; Thu, 5 Feb 2015 13:29:57 +0100 (CET) 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.218.48; 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.218.48 as permitted sender) identity=mailfrom; client-ip=209.85.218.48; 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-oi0-f48.google.com) identity=helo; client-ip=209.85.218.48; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wouter.swierstra@gmail.com"; x-sender="postmaster@mail-oi0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CxAQDAYdNUlDDaVdFag1hUBQSCfbYTiTSFdYEfB0MBAQEBAREBAQEBBwsLCRIwhCURHQEoARADDQUQDwImAiQSAQUBNQgah3cDEQivaYMrPjGLLoRii0wnDYV8AQUOgRONdREBS4J0gUEFhU6JJYNxhVqBFzaCTYhTgj+BdBIjgRVbgQwBCzEcgVE9MQEKAXgHFwaBGgEBAQ X-IPAS-Result: A0CxAQDAYdNUlDDaVdFag1hUBQSCfbYTiTSFdYEfB0MBAQEBAREBAQEBBwsLCRIwhCURHQEoARADDQUQDwImAiQSAQUBNQgah3cDEQivaYMrPjGLLoRii0wnDYV8AQUOgRONdREBS4J0gUEFhU6JJYNxhVqBFzaCTYhTgj+BdBIjgRVbgQwBCzEcgVE9MQEKAXgHFwaBGgEBAQ X-IronPort-AV: E=Sophos;i="5.09,523,1418079600"; d="scan'208";a="120399449" Received: from mail-oi0-f48.google.com ([209.85.218.48]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 05 Feb 2015 13:29:56 +0100 Received: by mail-oi0-f48.google.com with SMTP id u20so3253867oif.7 for ; Thu, 05 Feb 2015 04:29:55 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:message-id:subject:from:to:content-type; bh=MRiAcHR6L10zXVH2B0KzcCcii6DhJNcyIAovPOrcl/Q=; b=M2cW+xvtlU8Jbje+Ft5QSFGOJR5wTN3wxWCDKIt9TF6jcDobRJ9Znb0oQk1VO1O+aC N5sJfkjjcofRXI/I1TrldOVvq+OCKNKRbGuWBdU9nTDsgpvb7kMnT4ucsSaBp3fKR37e jLasSR2aZ0IN+X7zyhY4pjPReJf5wRsa9vxvmzU7XobcTNo8tAEvQtVa3cw7vevJ9vZY 0KSJiQj3dq2hO/TkvuL8S+h4yyqODdc3IjpWurTCLvBGObh9fth+bUuvA8eWchHf/7f3 +L3wZpTuEjHvLceUP30R8CK400YuufyTmvzefD6qX6N030ThxLPW8sCkBjry/Iwfrril fv7w== MIME-Version: 1.0 X-Received: by 10.182.73.131 with SMTP id l3mr2096398obv.45.1423139395573; Thu, 05 Feb 2015 04:29:55 -0800 (PST) Sender: wouter.swierstra@gmail.com Received: by 10.202.204.130 with HTTP; Thu, 5 Feb 2015 04:29:55 -0800 (PST) Date: Thu, 5 Feb 2015 13:29:55 +0100 X-Google-Sender-Auth: 5zkesOjeZA6LDVrdFz3C0vnzKkA Message-ID: From: Wouter Swierstra To: caml-list@inria.fr Content-Type: text/plain; charset=UTF-8 X-Validation-by: w.s.swierstra@uu.nl Subject: [Caml-list] PhD positions in Utrecht ============================================================ 4 x PhD position in Software Technology ============================================================ 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), the EU, Technology Foundation STW and Utrecht University we currently have job openings for four PhD researchers (PhD students) in Software Technology. Each of these positions involves some degree of functional programming. We are looking for PhD students to work on some of the following topics: * Version control of structured data The theory and practice underlying structure-aware version control systems capable of handling more than just text files. * Intelligent tutoring technologies Technologies for tutoring subjects such as functional programming, statistics, algebra, etc. * Serious games Domain-specific languages and technologies for specifying strategies for serious games. * iTasks iTasks is a formalism for specifying distributed tasks. Specify and test properties of iTasks, and give run-time feedback for iTasks. Besides research, the successful candidate will be expected to help supervise MSc students and assist teaching courses. We prefer candidates to start no later than September 2015. --------------------------- What we are looking for --------------------------- The candidate should have an MSc in Computer Science, be highly motivated, speak and write English well. Furthermore the successful candidate should be proficient in reporting scientific findings. Knowledge of and experience with at least some of the following areas (depending on the topic chosen to work on for your PhD) is essential: * functional programming, such as Haskell or ML; * datatype generic programming; * intelligent tutoring systems; * serious games; * strategies, rewriting, parsing; * modern version control systems such as git, mercurial, or darcs. ------------------ What we offer ------------------ The candidate is offered a full-time position for 4 years. A part-time position of at least 0.8 fte may also be possible. Salary starts at 2083 euro and increases to 2664 euro gross per month in the fourth year of the appointment. 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, 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. ---------------- How 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 deadline is March 8, 2015. You can apply online through the University's website: http://tinyurl.com/qhlco6s --------------------------- Additional information --------------------------- If you have any questions regarding these positions, please contact Johan Jeuring +31 (0)640010053 J.T.Jeuring@uu.nl Wouter Swierstra +31 (0)30 253 9207 w.s.swierstra@uu.nl