From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: **** X-Spam-Status: No, score=4.9 required=5.0 tests=LOCALPART_IN_SUBJECT,RDNS_NONE, TO_NAME_SUBJ_NO_RDNS autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 20994 invoked from network); 18 Aug 2023 15:50:56 -0000 Received: from unknown (HELO smtp2.mta.ca) (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 18 Aug 2023 15:50:56 -0000 Received: from rr.mta.ca ([198.164.44.159]:52190) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1qX1hx-00066L-El; Fri, 18 Aug 2023 12:48:17 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1qX1hR-0002wI-GC for categories-list@rr.mta.ca; Fri, 18 Aug 2023 12:47:45 -0300 Date: Wed, 16 Aug 2023 09:48:07 +0200 MIME-Version: 1.0 To: categories@mta.ca Content-Language: en-US From: Sergey Goncharov Subject: categories: PhD Position in Abstract Techniques for Programming Languages and Secure Compilation at FAU Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Precedence: bulk Reply-To: Sergey Goncharov Message-Id: [We would be grateful for further distribution of the job advertisement below] A PhD position in a recently granted DFG-project "Abstract Techniques for Programming Languages and Secure Compilation" has just opened in the Theoretical Computer Science group (https://www8.cs.fau.de) at the Friedrich-Alexander-Universit??t Erlangen-N??rnberg. The project builds on recent advances in Higher-Order Mathematical Operational Semantics [1,2], a pivotal generalization of Turi and Plotkin's seminal approach to structural operational semantics. We seek an apt and motivated PhD candidate, who will contribute to the development of the theory and to applications in the area of secure compilation. Further details on the planned research are summarized in the technical part of the project proposal, which can be provided by request. The position is allocated for 3 years; the starting date is Nov. 1, or later, preferably not later than Feb. 1, 2024. The project is supervised by Stelios Tsampas and Sergey Goncharov. The position is in the TV-L E13 pay scale. Please inquire or apply by e-mail to {stelios.tsampas,sergey.goncharov}@fau.de When applying, please, enclose your CV and the degree transcript in your application. We are interested in filling in the position as soon as possible, and will thus consider applications as they arrive. Best, Stelios and Sergey [1] Sergey Goncharov, Stefan Milius, Lutz Schr??der, Stelios Tsampas, Henning Urbat, Towards a Higher-Order Mathematical Operational Semantics, POPL 2022 [2] Henning Urbat, Stelios Tsampas, Sergey Goncharov, Stefan Milius, Lutz Schr??der, Weak Similarity in Higher-Order Mathematical Operational Semantics, LICS 2023 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]