From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 2BC6A81799 for ; Mon, 29 Jul 2013 12:50:17 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of conor@strictlypositive.org) identity=pra; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="conor@strictlypositive.org"; x-sender="conor@strictlypositive.org"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of conor@strictlypositive.org) identity=mailfrom; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="conor@strictlypositive.org"; x-sender="conor@strictlypositive.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@moutng.kundenserver.de designates 212.227.126.187 as permitted sender) identity=helo; client-ip=212.227.126.187; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="conor@strictlypositive.org"; x-sender="postmaster@moutng.kundenserver.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvABAPlH9lHU4367emdsb2JhbABbDsJpFg4BAQkLDAgUAyWDc08gAYgmnkyZH4lViUdvA6wBPw X-IPAS-Result: AvABAPlH9lHU4367emdsb2JhbABbDsJpFg4BAQkLDAgUAyWDc08gAYgmnkyZH4lViUdvA6wBPw X-IronPort-AV: E=Sophos;i="4.89,768,1367964000"; d="scan'208";a="27779695" Received: from moutng.kundenserver.de ([212.227.126.187]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Jul 2013 12:50:16 +0200 Received: from mouche.lan (93-97-142-135.zone5.bethere.co.uk [93.97.142.135]) by mrelayeu.kundenserver.de (node=mrbap4) with ESMTP (Nemesis) id 0MEnBC-1UsFlx2Ina-00Fb98; Mon, 29 Jul 2013 12:49:56 +0200 From: Conor McBride Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable Reply-To: Conor McBride Date: Mon, 29 Jul 2013 11:49:54 +0100 Message-Id: <4BD893BE-D21D-4E25-907D-6BB59627D330@strictlypositive.org> To: haskell@haskell.org, Agda List , caml-list@yquem.inria.fr, clean-list@science.ru.nl, "idris-lang@googlegroups.com" , types@lists.chalmers.se, types-announce@lists.seas.upenn.edu, spls@dcs.gla.ac.uk, fun@Cs.Nott.AC.UK, stp Mime-Version: 1.0 (Mac OS X Mail 6.5 \(1508\)) X-Mailer: Apple Mail (2.1508) X-Provags-ID: V02:K0:40pCOYTg9KZ/oBW+1O522piPtk2mHgeco9tA+amUjDQ sa0jQQJwidJ/cT22yCwZC8+PnMu3CmiD9oMbeSA5CxGOVe0rSF BpIFQ5HYdjNHkjVk6OUdB1AHquZVcAdaC46qsacpW604PFiOGJ 79ruhWGiZECNfLN/UO4HfP9n9kwGg34cwMfbjN1Kuf3HCivDRB rEeWqw7srBImCaDoJEs87w51BE7RwDmeWSCJmvLW/CO6OWBf9a JJaCDT+/rOF6pwUeLkreLW+nH18OdK2LH9iPMXwBr+EC0q9Cx/ 2hccB0zxLA4UuhKT1P5nVgJGBp/eMED7gP8tiR+EzOckakXu88 /Ht508D8Are132ogJmGBSL02zw8C/7lR5IwfWfowRIKb+Edf9a NVCYRfNSYWTR1agYEryW+33U7NqaAz5k9o= Subject: [Caml-list] Lecturer/Senior Lecturer The Department of Computer and Information Sciences within the University o= f Strathclyde seeks to appoint a Lecturer or Senior Lecturer to enhance the= internationally leading Mathematically Structured Programming (MSP) resear= ch group. The MSP group=92s vision is to use mathematics to understand the = nature of computation, and to turn that understanding into the next generat= ion of programming languages, and the successful applicant will be expected= to further develop the Department=92s reputation for excellence in this ar= ea. You will have ambitious academic aspirations and an understanding of ho= w to bring in the grant income required to fund those aspirations. You will= also be expected to contribute to the Department=92s teaching activities i= n the areas of Computer Science and Software Engineering. For consideration at Lecturer level you will demonstrate significant promis= e in your research discipline as evidenced by a publications record in high= quality venues. To be considered at Senior Lecturer level you will have a = strong record of achievement in their career to date including success in s= ecuring external funding and experience of teaching undergraduate and/or po= stgraduate students. Research Starter Grant: The Faculty of Science offers a Research Starter Gr= ant to all new full-time, non-professorial, academic staff within the Facul= ty. The Grant may be used for any purpose that assists staff to establish t= heir Strathclyde research career and to assist in attracting additional fun= ding for research from external sources. Any grant awarded will be to a ma= ximum of =A310,000, and the planned expenditure of the award is normally fo= r a period of 18 months. For further information contact Prof Neil Ghani or Dr Conor McBride