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 c5ff346549e7 (Postfix) with ESMTP id AE4C11E5 for ; Fri, 26 Jul 2019 12:00:11 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,310,1559512800"; d="scan'208";a="393436975" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Jul 2019 14:00:10 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id 8852A82716; Fri, 26 Jul 2019 14:00:10 +0200 (CEST) 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 35979826D8; Fri, 26 Jul 2019 13:32:14 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=F.Vaandrager@cs.ru.nl; spf=Pass smtp.mailfrom=F.Vaandrager@cs.ru.nl; spf=None smtp.helo=postmaster@smtp1.science.ru.nl IronPort-PHdr: =?us-ascii?q?9a23=3AfpD41BU6eKQziNAEsosGIMJytW/V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYbRyFt8tkgFKBZ4jH8fUM07OQ7/m6Hzxcqs3Q+Fk5M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aFRrwLxd6?= =?us-ascii?q?KfroEYDOkcu3y/qy+5rOaAlUmTaxe7x/IAiooQnLtcQbjoRuJ6g1xxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKjg0+3zVhMNtlqJWuAyvqRxizYDXbo+aOvVxcb/Sc94BWWpMXdxcWzBdDo6y?= =?us-ascii?q?bYYCCfcKM+ZCr4n6olsDtRuwBROtBOPz0T9Dm3D50rcg3OQnDA7GxhYvH90Qv3?= =?us-ascii?q?TOsd74M6ccXfq6w6bS1zrDae5Z2S3n54jHbB8hu+qBUq5rccbL00kvChnJjlOU?= =?us-ascii?q?qYH8OT6ey+oDs2+e7+V6VOKvjXYqqxtsojS1wMcsjo/EjZ8WxFDc7Sh13Yg4Kc?= =?us-ascii?q?CiREJmY9OpH4FcuzybOodsX88vTG9ltD4nxrAIpJK3ZjUGxZYoyhLFdvCKfJaE?= =?us-ascii?q?7gjnWeueJzpzmWhrd6ilhxmo9Eit0u38Wdew0FZNtidFidzMtmwV1xDO8MSHUe?= =?us-ascii?q?dy/ka/1jaJyw/c9PtIIVoplabBLZ4hxqY8lpsVsUvdAi/7gFj6gaGLekk+5+Sl?= =?us-ascii?q?6evqbq/7qpKdLYN4lw7zP6o2lsy6G+s4MwwOX2aB+eS70b3u5U33TK9FgfIsiK?= =?us-ascii?q?bZto3VJd4Bqa62HQBVyJ0u5AqkDzu8ytQYgGMLLFRBeB6flYjmJ0nOIOzkDfe4?= =?us-ascii?q?m1mjjDBrx+nfMrL9BpXNM2PMnaz6fbd97k5c0BA8wcpe55JSELEBIej8VlX/tN?= =?us-ascii?q?zCFhU5KRC7w/77CNVh0YMTQX6ADbWcMKPWqFOI4uMvI/KQZIIOozb8K/0l5+b0?= =?us-ascii?q?gnMjmF8de7Op3ZoNZ3yiEPRmORbRXX25j9wGFn9PvwwwS8Tng1qFSXhUfXn2F6?= =?us-ascii?q?k7/3QwDJ+sJYbFXIGkxrKbmG+6BZRca2RCBxWRCnrybK2PX7EHYSfUK8Qnjz9A?= =?us-ascii?q?HbOoTotk0RC1qCf7zaBmJ6za4GlQrpfnkdx0/PH7ngp0/jlpScmRziXFd3tzmW?= =?us-ascii?q?00RzIxxrE5hU1m1n+M1KF5h7pTEtkXr+9YSgohHZrd1PBhTdvyUwbEc82SDk2r?= =?us-ascii?q?Efu8BjRkYMgw38RGXU90Hdm4hx/OxWL+LfkrnrWNCIY9/a/G93PqYdxgjXDCgv?= =?us-ascii?q?pyx2I6S9dCYDX1zpV08BLeUtaQzhep0p2yfKFZ5xbjsWeOyW3U5RNDVRJoCOPe?= =?us-ascii?q?VnESYEDb687koEXGHef3WOYXdzBZwMvHEZNkL9jgjFFIXvDmYYyMaHn3gXr2Ax?= =?us-ascii?q?Lan+rQPrqvQH0U2WDmMGZBixoapC7UPhN4HDrnpWaMVDE=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CqBwDk4zpdl48QroNlDoR7FFIyKoQep?= =?us-ascii?q?k6FbIFnBgMBAwEMIwwBAYFLgnWCZBsHAQQ0EwEDAQEEAQECAQMDARMBAQEBAQg?= =?us-ascii?q?WBoVODII6IoMYDwEFMAMCBD0CJgJgDAYCAQEVgwkBggoPqkEBgT6BMoVIgzCBS?= =?us-ascii?q?DVXKItfgVc/gThwfQFIBQKCLAGBIASBIxVTgl+CWASMRgyeIgcCghyUCiGCLYc?= =?us-ascii?q?lg2V4iV2NOpQGg3eBZ4F5fIMwCYFBgQICDgmIPoUoPT0zAYwrglIBAQ?= X-IPAS-Result: =?us-ascii?q?A0CqBwDk4zpdl48QroNlDoR7FFIyKoQepk6FbIFnBgMBAwE?= =?us-ascii?q?MIwwBAYFLgnWCZBsHAQQ0EwEDAQEEAQECAQMDARMBAQEBAQgWBoVODII6IoMYD?= =?us-ascii?q?wEFMAMCBD0CJgJgDAYCAQEVgwkBggoPqkEBgT6BMoVIgzCBSDVXKItfgVc/gTh?= =?us-ascii?q?wfQFIBQKCLAGBIASBIxVTgl+CWASMRgyeIgcCghyUCiGCLYclg2V4iV2NOpQGg?= =?us-ascii?q?3eBZ4F5fIMwCYFBgQICDgmIPoUoPT0zAYwrglIBAQ?= X-IronPort-AV: E=Sophos;i="5.64,310,1559512800"; d="scan'208";a="314808480" X-MGA-submission: =?us-ascii?q?MDFn1mi9IwS9lh4ks5zmGV6zD96G5pa6YsD6Xc?= =?us-ascii?q?L8hDaytoaS8KO/Y7HUhnrAsmUKVyOuakGn//7bEkprrNmjdZ4WwQ4K60?= =?us-ascii?q?Utho5lgoO/c/sOVq4wDMQIBw98wGfMatGkEaf28CORcseFJ/0094Zfr8?= =?us-ascii?q?aYZ0fuaRILySe0ItKkuXSbgA=3D=3D?= Received: from smtp1.science.ru.nl ([131.174.16.143]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 26 Jul 2019 13:32:12 +0200 Received: from [131.174.142.94] (daphnis.cs.ru.nl [131.174.142.94]) (authen=fvaan) by smtp1.science.ru.nl (8.14.4/5.32) with ESMTP id x6QBVCUj025267; Fri, 26 Jul 2019 13:31:12 +0200 To: ecoop-info@ecoop.org, coq-club@inria.fr, isabelle-users@cl.cam.ac.uk, caml-list@inria.fr, sml-list@cs.cmu.edu, ProofTheory.List@gmail.com, types@lists.chalmers.se From: Frits Vaandrager Message-ID: <4735b55b-71d3-ceae-88f1-d843eafca809@cs.ru.nl> Date: Fri, 26 Jul 2019 13:31:12 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.8.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Content-Language: en-GB X-Spam-Score: 1 (*) ALL_TRUSTED,BAYES_50 X-Scanned-By: mimedefang version 2.73 on 131.174.16.143 131.174.16.159 (smtp1) X-Validation-by: f.vaandrager@cs.ru.nl Subject: [Caml-list] Assistant Professor in Software Science at Radboud University Nijmegen Reply-To: Frits Vaandrager X-Loop: caml-list@inria.fr X-Sequence: 17714 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: At Radboud University, we do research and teach programmes covering the full width of the academic spectrum. We do this on a green, modern campus with state-of-the-art facilities. The atmosphere on campus is open and personal, which stimulates colleagues to share their knowledge beyond the boundaries of their own discipline. It encourages all to look further, to see more. Thus, Radboud University contributes to the development of new perspectives. Within science and within society. This makes Radboud University successful and of international importance. Assistant Professor in Software Science (0.8 - 1.0 FTE) Faculty of Science Vacancy number: 62.38.19 Maximum salary: € 4,978 gross/month Application deadline: 1 September 2019 Responsibilities ================ To strengthen and expand the research of the Software Science (SWS) group, we seek a tenure-track assistant professor with experience and an interest in model-based techniques for design and analysis of software. You will have the opportunity to develop your own research line in the context of the group’s future activities. You will be expected to supervise a number of PhD students and to teach bachelor courses in Computer Science (and, depending on your expertise, in AI), and master courses in Software Science. You will also actively contribute to the supervision of Bachelor’s and Master’s projects and will be involved in organisational tasks within the institute. Work environment ================ Radboud University's iCIS is an internationally recognised institute, consistently ranked among the top Computer Science departments in the Netherlands. The institute focuses its research on three themes: software science, digital security and data science. Each of these themes spans the full breadth from basic fundamental research to application-oriented research. We want to contribute scientifically at the highest levels in our areas of expertise and want to educate our PhD graduates to become independent leading researchers. iCIS staff members are also responsible for the Computer Science bachelor and master programs, the Information Sciences master program, and for about 30% of the bachelor and master programs in Artificial Intelligence at Radboud University. In spite of the fast-growing student numbers, these programs are structurally evaluated as one of the best (see e.g., “Nationale Studenten Enquete”, 2018). The Software Science group of iCIS studies models for the design and analysis of software. Our group has expertise covering a broad range of topics concerning software construction and analysis, e.g., foundations of software (type theory, proof assistants, concurrency, co-algebras, and term rewriting), model-based testing and model learning, combining formal verification and machine learning, and functional programming and domain specific languages. We bridge the gap between theory and practice through collaboration with stakeholders from industry and other application domains. iCIS comprises an enthusiastic and devoted team of excellent scholars that closely collaborate in a flat organizational structure. Our institute is housed in the modern Mercator building at the green Radboud University Campus. iCIS employees have a high level of freedom to determine the way they structure the work they do at Radboud University. We work on the basis of trust and professional integrity. Focus on the individual means we take each employee's phase in life and career into consideration. Radboud University offers customized facilities to better align work and private life. The science faculty has made a strong effort in the past few years to increase the diversity of its staff. Presently, more than half of our scientific staff has an international background. Especially, iCIS has been particularly active and successful in attracting female staff. This has also led to iCIS receiving the 2017 Minerva award for gender and diversity from Informatics Europe. What we expect from you ======================= *   You are an enthusiastic scientist (PhD) with a broad knowledge of computer science and model-based techniques for design and analysis of software, as underscored by high-quality publications, invitations to scientific conferences, and/or research grants. *   Your expertise broadens the current expertise of the group. Example areas include system performance, system evolvability, system architecting, software analysis tools, software analytics, empirical software engineering, correctness/fairness/bias of machine learning applications, cyber-physical systems, and HPC/Exascale computing. *   You have outstanding didactic skills and at least some teaching experience, a clear vision on teaching, and willingness to teach a broad variety of courses in the bachelor phase, as well as courses related to your research expertise in the software science master. *   You are a team player who is eager to collaborate with other scientists, and build bridges between different research areas within and outside SWS and Radboud University, both nationally and internationally, and both within and outside academia. *   You have excellent communication skills towards colleagues, students, and non- experts. *   You contribute to, and preferably have experience in, the application of model-based techniques in industry and society. *   You have the ability to set up an independent line of research, and successfully apply for external funding. What we have to offer ===================== *   employment: 0.8 - 1.0 FTE; *   in addition to the salary: an 8% holiday allowance and an 8.3% end-of-year bonus; *   You will be appointed as Assistant Professor 2 level and if successful will end with a permanent position at an Assistant Professor 1 level; *   The tenure track runs six years, with an interim evaluation after three years, in accordance with the guidelines and procedures of the Faculty of Science; *   On campus day care facilities for all children of the age 0-4 years are available, next to our science faculty buildings. Parents are entitled to partly paid parental leave and Radboud University employees enjoy flexibility in the way they structure their work; *   This flexibility extends to the conditions of employment and some aspects of the conditions of employment can be fine-tuned to the employee’s wishes. Options include (for instance) a tax-free reimbursement for a bicycle or a membership in a fitness club; *   You will be able to make use of our Dual Career Service where our Dual Career Officer will assist with family related support, such as child care, and help your partner prepare for the local labour market and with finding an occupation. Are you interested in our excellent employment conditions? http://www.ru.nl/english/arbeidsvoorwaarden?kn Would you like to know more? ============================ Further information on: Faculty of Science https://www.ru.nl/science/ Further information on: iCIS https://www.ru.nl/icis/ Further information on: Software Science https://www.sws.cs.ru.nl/ For more information about this vacancy, please contact: Prof. dr. Frits W. Vaandrager Telephone: +31 24 365 2216 E-mail: F.Vaandrager@cs.ru.nl Prof.dr. Marielle I.A. Stoelinga E-mail: m.stoelinga@cs.ru.nl Are you interested? =================== You should upload your application (attn. of dr. P. Schwabe) exclusively via the link provided for this position at https://www.ru.nl/english/working-at/. Your application should include (and be limited to) the following attachment(s): *   Letter of motivation *   CV including the e-mail addresses of three references *   Teaching statement *   Research statement Interviews for this position will take place on September 13 and September 19. Please reserve these dates in your agenda.