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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 0F2817FADE; Wed, 19 Nov 2014 15:40:32 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of herman@cs.ru.nl) identity=pra; client-ip=131.174.16.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="herman@cs.ru.nl"; x-sender="herman@cs.ru.nl"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of herman@cs.ru.nl) identity=mailfrom; client-ip=131.174.16.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="herman@cs.ru.nl"; x-sender="herman@cs.ru.nl"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smeltpunt.science.ru.nl) identity=helo; client-ip=131.174.16.143; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="herman@cs.ru.nl"; x-sender="postmaster@smeltpunt.science.ru.nl"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ap4BAGSqbFSDrhCPnGdsb2JhbABaDoNVWQGDBckFCodJgQYWAQEBAQERAQEBAQEICwkJFC6EBAYBASAPAQUwCgY2AgUQAgQLAgIJAwIBAgFKAgwGAgEBEAGILA28VpZzAQEIAQEBAR6BLYwdgzkwA4JQgVQFhkaZToNVgnmIB4JqhgqBOkFsgksBAQE X-IPAS-Result: Ap4BAGSqbFSDrhCPnGdsb2JhbABaDoNVWQGDBckFCodJgQYWAQEBAQERAQEBAQEICwkJFC6EBAYBASAPAQUwCgY2AgUQAgQLAgIJAwIBAgFKAgwGAgEBEAGILA28VpZzAQEIAQEBAR6BLYwdgzkwA4JQgVQFhkaZToNVgnmIB4JqhgqBOkFsgksBAQE X-IronPort-AV: E=Sophos;i="5.07,417,1413237600"; d="scan'208";a="89325461" Received: from smeltpunt.science.ru.nl ([131.174.16.143]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 19 Nov 2014 15:40:25 +0100 Received: from [131.174.142.121] (n142121.science.ru.nl [131.174.142.121]) (authen=herman) by smeltpunt.science.ru.nl (8.13.7/5.33) with ESMTP id sAJEVSqg014663; Wed, 19 Nov 2014 15:31:28 +0100 (MET) Message-ID: <546CA9BF.4060406@cs.ru.nl> Date: Wed, 19 Nov 2014 15:31:27 +0100 From: Herman Geuvers User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.2.0 MIME-Version: 1.0 To: nvti-list@cwi.nl, petrinet@informatik.uni-hamburg.de, qest-announce@iti.uiuc.edu, ipalist@listserver.tue.nl, puml-list@cs.york.ac.uk, types-announce@lists.seas.upenn.edu, lics@informatik.hu-berlin.de, theorem-provers@ai.mit.edu, ecoop-info@ecoop.org, coq-club@inria.fr, concurrency@tue.nl, announce@informatics-europe.org, sigsoft-l@acm.uiuc.edu, isabelle-users@cl.cam.ac.uk, caml-list@inria.fr, sml-list@cs.cmu.edu, ProofTheory.List@gmail.com, types@lists.chalmers.se Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit X-Validation-by: herman@cs.ru.nl Subject: [Caml-list] Vacancy Full Professor Software Technology (Radboud University Nijmegen NL) Dear all, At Radboud University Nijmegen in the Netherlands, we have a vacancy for a Full Professor of Software Technology (0,8 - 1,0 fte) See https://www.academictransfer.com/employer/RUN/vacancy/25468/lang/en/ Herman Geuvers Professor in Computer Science Radboud University The Netherlands ======================================================================= Faculty of Science Maximum salary: € 7,285 gross/month Vacancy number: 62.87.14 Application deadline: 18 January 2015 Responsibilities ---------------- As a full professor you will lead the research in the area of software technology as outlined below. This includes, among others, the supervision of MSc and PhD students, and collaboration with other staff members of iCIS. This should result in high-quality scientific output. Moreover, you are expected to attract research grants, and to cooperate in writing joint research proposals with other group members. This should result in national and international collaboration in research projects, and funding to attract a steady flow of PhD students and postdocs. In addition, you will extend and deepen the relationship between the section Model-Based System Development of iCIS and the other sections of iCIS (Intelligent Systems and Digital Security), as well as with other research institutes within the Faculty of Science. You will contribute to the teaching and management of the master track on Software Science, but also in general to teaching within the bachelors Computing Science and Artificial Intelligence. In particular you are expected to contribute to teaching courses on Software Technology and the New Devices Lab. All scientific staff is expected to teach at undergraduate level as well. Work environment ---------------- Software Technology is a core field of research within Computing Science. It addresses the study and analysis of approaches to the specification, design, development and evolution of software. With a focus on program construction, it designs programming and language formalisms and methodologies, constructs tools to support these, and develops techniques for automated program analysis (e.g., type systems) and software generation. The research methods used in t field range from mathematical proofs to the development of practical development platforms and the empirical evaluation of such platforms. Research developments in the field of Software Technology are guided to a large extent by emerging technologies and information needs in society, which require that reliable software be developed quickly and effectively. According to the Information Society Technologies Advisory Group (ISTAG) of the Commission of the European Communities, Information Society & Media, software is instrumental in propagating innovative ideas from a scientific research laboratory to profitable application, and hence, the software has become the basis for innovation and the prime industrial differentiator. What we expect from you ---------------------- * you have an outstanding track record in international scientific research in Software Technology, as evidenced by a solid flow of publications in leading journals and/or conferences; * you are successful in attracting external research funding, as evidenced by several obtained research grants; * you have relevant teaching experience at the bachelor and master level, and experience in supervising MSc and PhD students; * you have the competence and experience of academic leadership with regard to the development of educational programs and with regard to faculty and academic staff involved in these programs. What we have to offer --------------------- We offer you: * employment: 0,8 - 1,0 fte; * a maximum gross monthly salary of € 7,285 based on a 38-hour working week (salary scale 16); * in addition to the salary: an 8% holiday allowance and an 8.3% end-of-year bonus; * duration of the contract: 5 years; * depending on experience, you will be granted tenure either immediately or upon a positive review after an initial 5-year appointment; * you will be classified as a Full Professor in the Dutch university job-ranking system (UFO). Are you interested in our excellent employment conditions? See http://www.ru.nl/english/arbeidsvoorwaarden Other Information ----------------- The Faculty of Science is an equal opportunity employer, committed to building a culturally diverse intellectual community, and as such encourages applications from women and minorities. Would you like to know more? ---------------------------- Further information on ICIS: http://www.ru.nl/icis/ prof.dr. T.M. Heskes Telephone: +31 24 3652696 E-mail: t.heskes@science.ru.nl Applications ------------ Are you interested? Please include with your application a motivation letter (attn. of ms. W. van der Pluijm), CV and any required attachments. You should upload these documents using 'Apply directly': http://www.ru.nl/applyonline?recid=542385&tk=uk Please note: We will only consider applications submitted via our application form (which is accessed by clicking the 'Apply directly' link: http://www.ru.nl/applyonline?recid=542385&tk=uk).