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 E31877FA13 for ; Mon, 7 Jul 2014 09:21:11 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alexander.heussner@uni-bamberg.de) identity=pra; client-ip=141.13.234.2; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.heussner@uni-bamberg.de"; x-sender="alexander.heussner@uni-bamberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alexander.heussner@uni-bamberg.de) identity=mailfrom; client-ip=141.13.234.2; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.heussner@uni-bamberg.de"; x-sender="alexander.heussner@uni-bamberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailex.uni-bamberg.de) identity=helo; client-ip=141.13.234.2; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.heussner@uni-bamberg.de"; x-sender="postmaster@mailex.uni-bamberg.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag4BAPJJulONDeoCmWdsb2JhbABag2BavnOITxYPAQEBAQEICwsHFCiEU4FuiFkJoGWoe40XgSkRAW2CIA9EJIEWBYoXl2mQR4F1OQ X-IPAS-Result: Ag4BAPJJulONDeoCmWdsb2JhbABag2BavnOITxYPAQEBAQEICwsHFCiEU4FuiFkJoGWoe40XgSkRAW2CIA9EJIEWBYoXl2mQR4F1OQ X-IronPort-AV: E=Sophos;i="5.01,616,1400018400"; d="scan'208";a="83904934" Received: from mailex.uni-bamberg.de ([141.13.234.2]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 07 Jul 2014 09:21:11 +0200 Received: from alexbox.staff.swt.wiai.uni-bamberg.de (141.13.106.48) by mailex.uni-bamberg.de (141.13.241.112) with Microsoft SMTP Server (TLS) id 14.3.169.1; Mon, 7 Jul 2014 09:21:09 +0200 From: =?iso-8859-1?Q?Alexander_Heu=DFner?= Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Date: Mon, 7 Jul 2014 09:21:13 +0200 To: Message-ID: <3029C2BA-0EF2-4FEB-973E-F67FE13C7EB2@uni-bamberg.de> MIME-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) X-Originating-IP: [141.13.106.48] Subject: [Caml-list] PhD Position: Programming, Modelling and Verification of Concurrent Software (With apologies for cross-posting.) PhD Position: Programming, Modelling and Verification of Concurrent Software The Software Technologies Research Group at the University of Bamberg, loca= ted in a world-heritage city in Northern Bavaria in Germany, conducts resea= rch in the foundations and practice of software specification, verification= and analysis. The group currently has one full-time PhD position (E13 TV-L= , German public sector pay scale) available in the context of a new researc= h project that will develop novel formalisms and techniques for concurrent = software systems. About the topic Todays ubiquitous multicore computing platforms have changed the landscape = of programming languages and their APIs. These focus increasingly on shield= ing the software engineer from low-level details of threads, concurrency an= d parallelism via clever abstractions of the underlying platform. Such abst= ractions are implemented in programming languages and libraries such as Gra= nd Central Dispatch, node.js, OpenMP, Erlang and Go. As concurrent computat= ion platforms arise everywhere, even in safety critical systems, writing so= ftware that is correct and safe becomes the engineer's primary concern. How= ever, proving concurrent systems to be a priori correct and safe requires a= dditional research in the theory and practice of programming languages, com= pilers, verification techniques, and analysis tools. We are looking for a r= esearcher to strengthen our team in one or several of these areas. Your background and experience A strong background in Computer Science is required, such as evidenced by a= n upper class Masters degree in Computer Science or a closely related disci= pline. We target two not necessarily disjoint types of candidates: First, p= ractitioners with a good knowledge of and experience with modern programmin= g languages (e.g., C++/C#, Java, OCaml) and state-of-the-art concurrent and= asynchronous languages and APIs (e.g., Grand Central Dispatch, node.js, Op= enMP, Erlang, Go); second, theoreticians with basic knowledge in formal met= hods and theoretical computer science (e.g., formal semantics, automata the= ory, graph transformation systems, model checking, and/or compiler construc= tion). Applicants are expected to be fluent in spoken and written English, some kn= owledge of German is desirable to support the group's teaching in software = engineering and programming languages (up to 5 contact hours per semester w= eek). Further information and how to apply Please send your informative CV, copies of transcripts and awarded degrees,= and a cover letter outlining your research interests to info(at)swt-bamber= g.de. You can address any questions to Prof. Gerald L=FCttgen or Dr. Alexan= der Heu=DFner by using the same email address, and find out additional info= rmation about Bamberg's Software Technologies Research Group on its website= located at www.uni-bamberg.de/en/swt/.=