coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Assistant professorship position for Semantics and Verification of Parallel Programs at TU Darmstadt

From: Heiko Mantel <mantel AT cs.tu-darmstadt.de>
To: coq-club AT inria.fr
Subject: [Coq-Club] Assistant professorship position for Semantics and Verification of Parallel Programs at TU Darmstadt
Date: Tue, 20 Mar 2018 18:45:50 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mantel AT cs.tu-darmstadt.de; spf=None smtp.mailfrom=hamann AT mais.informatik.tu-darmstadt.de; spf=None smtp.helo=postmaster AT lnx503.hrz.tu-darmstadt.de
Ironport-phdr: 9a23:W5F2IRQ9nsJYqRkqLnbRThEa+tpsv+yvbD5Q0YIujvd0So/mwa6yZxaN2/xhgRfzUJnB7Loc0qyK6/umATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfb1/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/n/XhMJtj6xVrhyuqBNjzIDbe4yVKPlzc7nBcd8GS2dMXMBcXDFBDIOmaIsPCvIMM+RGoIn8pFsOqga1Cw62C+Pp1j9HmHv21rA93uQkCw7G2hAgEMwKsHnPsNr1L70eUfyozKXR0DrMdelW2TLm6IjUaB8uvO2MUahtfsXP0EQiER7OgFuXqYzgJTyV1+INvnCH7+p9TO6glnQoqxt0oji02scjkJTGhp4Pxl/Z6yp0xps+K96gSENjfNKpHodcuzuZOoZ4WM8uXmFltScgxrEYt5O2eDAGxIkpyhLDcfCKcIaF7gj+WOuQITp0nm9pdKy7ihu07EOu0PfzVtOu31ZPtidFksfDtnQK1xHL7siHTPR880e91TuBzQzT6vtEIEEumarHNp4t26M/mYAJsUTGBS/2hF/5g7KKdkk+5+en9fzrYrTgppCCK495khzyP6oylsClAuk1PBICU3Wb9Om9zrHv40P0TbFSgv0ziKbZsZTaJcoBpq6+Bg9YyoYj5Ay6Dzi81tQYm2IKLFdfdxKGlIjlIVDOIPb2Dfe4mVSslS1kx+zHPr3iGJnNMmXDnK78crln8U5czREzzcxF6J1JFrENOu/8VVHpuNzCEhA5KxC0w/rgCNhlyoweXnuPDraFP6PWrF+H/fkiI/KMZY8QoDbyMeIp5//ojX8jmF8SZ7Ol3ZUNaCPwIvMzKEKAJHHon90pEGEQvwN4Qva5pkeFVGtzanexWOoZ7zcnBYbuWYLKQJyghJSKx2GnA9hab3pDEUyFHWuue4jSCKREUz6bPsI0ym9MbrOmUYJ0jUj/5j+/8KJuK6/vwgNdsJvi0NZv4OiIzkM3/D1vScWb3WaXSmhon2BOWyJz0KllpFdhw1ufl6R10aQBSY5joshRWwJ/DqbyivRgAoqqCAnaOMuUDVqvWNC9HTg9UpQ9zo1WOhsvK5CZlhnGmhGSLfoVmriMXsxm9qTMgiCqYcZn2TDayewthkMjWddGOXHgiqMtrwU=

The department of Computer Science of Technische Universität Darmstadt
invites applications for an assistant professorship "Semantics and
Verification of Parallel Programs".

Candidates should have a strong research and publication background in
the area of semantics and verification of parallel software systems, and
should strive to extend and deepen their research profile in this area.
Examples for relevant topics are

* Concurrency Theory
* Construction and Validation of Weak Memory Models
* Formal Modeling of Concurrent Systems
* Program Analyses for Multi-threaded Programs
* Semantics of Concurrent languages
* Separation Logic
* Verification of Efficiently Parallelized Programs

Application deadline: April 22, 2018

More information and details on the application process are available
under
https://www.intern.tu-darmstadt.de/dez_vii/stellen/stellen_details_263552.en.jsp.

[Coq-Club] Assistant professorship position for Semantics and Verification of Parallel Programs at TU Darmstadt, Heiko Mantel, 03/20/2018