coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD and Postdoc Position in Monad-Based Programming and Verification at FAU

From: Sergey Goncharov <sergey.goncharov AT fau.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] PhD and Postdoc Position in Monad-Based Programming and Verification at FAU
Date: Fri, 9 Jun 2017 15:07:40 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sergey.goncharov AT fau.de; spf=Pass smtp.mailfrom=sergey.goncharov AT fau.de; spf=Pass smtp.helo=postmaster AT mx-rz-3.rrze.uni-erlangen.de
Ironport-phdr: 9a23:gP4UbxSKQZZHgGu+X94Z94Swcdpsv+yvbD5Q0YIujvd0So/mwa69YhSN2/xhgRfzUJnB7Loc0qyN4v+mATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSijewZbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/n/XhMJti6JVoxyvqBJwzIHIe4yVO+Zyc7nBcN8GS2dMXMBcXDFBDIOmaIsPCvIMM/tGoInnqFsBsxu/DhStCuPozD9Hmn/20rcg0+QmDwHNwQstH8kQv3TOo9X6KqcTXfq6zKnPyzXMc/NW1i3n6IjPbBAsuv+MUqhtccbL1EYgCRrIg1ONooLmJzOYzvkBvmaG4+Z6SO6iiG0qpxtsrjSy3MsglJfFipoIxl3K6Cl12ps5KN67RUJhbtOpE4FcuzyYOoZ2RM4pXntmtzwgyrIcvJ62ZCgKx4ojxx7Yc/GHdoeJ7gv5VOeQODt1imhpeKilhxez70es0PD8Vs+10FpTsCVFiN3MuWoL1xzc9MeHTOFx8Vq/1jqX1gDT7P9LIVwsmKbGJZMt36Q8mocQvEnABCP6hVj6gLWIekk64uSo7v7oYrTipp+SLY90jQT+P7w1msOhG+Q4PRYBXmiB9eSz073j+1H2QLVQgf0slanZrovXJcoBqa6kGQNaz5gs5w6lDzi6yNQYgWUHLFVddR2biIjpIkjCL+z8DfeimFuhiyxrxvDDPr35GJrBNHnDkLH7fbZ88UFQ0gQzzcoMr65TX7oGObf4XlL7nN3eFB4wdQKukMj9D9Ao7Y4EVm+eSoCeNqjSuEWP+Kp7OOSWa4IE/jn6LfMl7uTpk1c3kEJbcaT/jshfU2yxAvkzexbRWnHrmNpUSWo=
Organization: Friedrich-Alexander-Universität Erlangen-Nürnberg

[We would be grateful for further distribution of the job advertisement below]

In the Theoretical Computer Science group (Chair Computer Science 8) at the Friedrich-Alexander-Universität Erlangen-Nürnberg, we have a PhD and a postdoc position available in the DFG-Project "A High Level Language for Programming and Specifying Multi-Effect Algorithms", which is concerned with monad-based semantics and program logics for side-effecting iteration and recursion. The technical part of the project proposal can be made available on request.

The project is supervised by Sergey Goncharov and Lutz Schröder. The positions are in the TV-L E13 or E14 pay scale depending on 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

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

[Coq-Club] PhD and Postdoc Position in Monad-Based Programming and Verification at FAU, Sergey Goncharov, 06/09/2017