From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9230 Path: news.gmane.org!.POSTED!not-for-mail From: =?UTF-8?Q?Lutz_Schr=c3=b6der?= Newsgroups: gmane.science.mathematics.categories Subject: PhD and Postdoc Position in Monad-Based Programming and Verification at FAU Date: Thu, 8 Jun 2017 15:33:27 +0200 Message-ID: Reply-To: =?UTF-8?Q?Lutz_Schr=c3=b6der?= NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1497006377 11184 195.159.176.226 (9 Jun 2017 11:06:17 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Fri, 9 Jun 2017 11:06:17 +0000 (UTC) To: categories Original-X-From: majordomo@mlist.mta.ca Fri Jun 09 13:06:13 2017 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1dJHk4-0002bO-8g for gsmc-categories@m.gmane.org; Fri, 09 Jun 2017 13:06:12 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:59767) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1dJHk1-00021I-7R; Fri, 09 Jun 2017 08:06:09 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1dJHiy-0001aJ-Gt for categories-list@mlist.mta.ca; Fri, 09 Jun 2017 08:05:04 -0300 Content-Language: de-DE Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9230 Archived-At: [We would be grateful for further distribution of the job advertisement=20 below] In the Theoretical Computer Science group (Chair Computer Science 8) at=20 the Friedrich-Alexander-Universit=C3=A4t Erlangen-N=C3=BCrnberg, we have = a PhD and=20 a postdoc position available in the DFG-Project "A High Level Language=20 for Programming and Specifying Multi-Effect Algorithms", which is=20 concerned with monad-based semantics and program logics for=20 side-effecting iteration and recursion. The technical part of the=20 project proposal can be made available on request. The project is supervised by Sergey Goncharov and Lutz Schr=C3=B6der. The= =20 positions are in the TV-L E13 or E14 pay scale depending on=20 qualification of the applicant; the project duration is three years. Please enquire or apply by e-mail to {lutz.schroeder,sergey.goncharov}@fau.de Best, Sergey and Lutz --=20 -------------------------------------- Prof. Dr. Lutz Schr=C3=B6der Friedrich-Alexander-Universit=C3=A4t Erlangen-N=C3=BCrnberg Department of Computer Science Chair 8 -- Theoretical Computer Science Martensstr. 3 91058 Erlangen +49-9131-85-64059 lutz.schroeder@informatik.uni-erlangen.de lutz.schroeder@cs.fau.de http://www8.cs.fau.de/~schroeder/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]