coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Chuangjie Xu <cj-xu AT outlook.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Research position at fortiss, Munich
- Date: Mon, 26 Oct 2020 14:13:27 +0100
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-SenderADCheck; bh=91c0NH6rMfCN/FW/ojtDrBYLpOen/WxqWDUU2G4SoxA=; b=WbndBVPvYINiH2mGWvBZODc5eXtULZCI4e47QiUMBnCLAyZdbRWNrXdoTiBdKwt7zDKTXJkKbeDyAMY7jq9MS3UllM3hCSi+tAQjd8lp3kSh2J9L0s7bRTnsA1PFcbU+3fpetCbIz3HiKlqrKtshTm7GM1MmzYq+RnFshz3rfbexSUXUjGDskr3g9rE5rySojUxU+eJRfEIHKGUXF7eS8AqypoPkldo0aD2qxFWZ0R8RZT4Sz9oiI67+T0Lih48/wkTkxDDMzhwFyU7KWwTDSX4TPGVh9gHiVT7E0v4jPQlCbnjCr4n4z7l8tfPeFx9Gb1QP3APTR177s3RQhOKX3g==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=HMxdF3m1PIbynibKNwV9uOgaFrxp+5q++V5nFyHcHS23CInmQtWPlanBoWok9Ynvtum7q37o+GzwXwom/5Ijta535tgn/3N9zWqns2SuVgjD1AYvpCpoHQkGiATzTYrMZNhFW4o6j4CSJfVTvSxDnRdn7/w9ojpXnFj8S6mAK9oKWY2QJVZlvBYrWBNHJADXbG0iJoDcgvlN8ZuIR5GXCfoLRP4dGhcnc8JcdRvXEjsyRti2/+tetAVeuHuhOPdfqgfI4o+RXNVLjZei4wPk1MJELNQJigc2ahlVW9pMn1r6NbLqFROsSORPztH1LXMsnXQyQQgwbAkr+29tvg1S5A==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=cj-xu AT outlook.com; spf=Pass smtp.mailfrom=cj-xu AT outlook.com; spf=Pass smtp.helo=postmaster AT EUR06-DB8-obe.outbound.protection.outlook.com
- Ironport-phdr: 9a23:e7hsGxGpuXSXv39hmEGDZZ1GYnF86YWxBRYc798ds5kLTJ7ypcmwAkXT6L1XgUPTWs2DsrQY0rWQ4/+rADVIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfLF/IA+1oAjTucUanJZuIbstxxXUpXdFZ/5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnMVhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1jioMKjw3/3zNisFojKxUvA+vqR9xzYDKZ4+aO+FzcbnBcd8GX2dBXtpdWzJHD4ihb4UPFe0BPeNAooTjp1sOsAGxBQ+jBOPtyz9HmGL90qwn0+88FgzJwA4gE8sBsXTJt9j1M7oSUfyxzKnPyjXDbOla1iv66IjNax0sp+yHUr1sf8TL00YvCx/FgUuKqYzjJz6Yy+QDvmyH4udhV++hhHIqph1xrzWvxsohiYnHiI0Lx17E9ih0zoY7KN27RUJlYdCpFJVdui6eOoV2Xs8vQm5mtSAnwbMIvp67eTIFyJUhxxPHZfyHdJKI4g7iVOaKOjd0nnVleKiwhxu07EOuyfX8W9G73VpWtCZIlsfAumoN2hDO8MSKSf9w8l+/1TqTywze5ORJLl4pmqfeNZEswKI8mYAWvEnHHiL6hFn6gaqIeUgg+OWl6OHqb7foq5CCOYJ5jx3xMqogmsOiBOk0LxYCUmaF9um6ybbt51f2QK9Qgf0ziqTZsI7VJcAcpqOhDAFa3Jot5wq+Aju/3toVgHoKIEtCeB2ckYflIVbOIO3kDfikhFSsjTFryO3cMr35GJXNKWTDn6n9crZh6k5czwwzwcpY55JJFrEBJPXzWkjytNDCEhA5NAm0z/7mCNV7yIweRXqCD6CFPK/ItVKE+PgjLumRaIMPuzvwL+Ap5/v0gn84nV8dc7Op3ZwSaH2gAvtmIVyVYHXxgtoaFmcKoxY+TOjtiF2FUj5ffWq9X6U55j0jEoKpEZ/DRpyxgLyGxCq0AppWZnlfBl+QFXfoap6LVuwXaCOSJ89hiiYLWaKgS48nzxGutRX1x6BpLurOqWUkssfo08Ew7OnOnzkz8yZ1BoKTyTKjVWZxy0gIWjYw06J+rARN1x/X2qo9k+FwEsFP4/ROUUExMpuKnL8yMMz7Rg+UJoTBc12hWNjzWWhsHOJ0+McHZgNGI/vnjh3H2Hb1UZIoreTVQbAeoufb1XW3INthwXHb0qVnl0MhXsZEKWyhgOh46hTXAInK1U6ekvTzLPVO7Gv27G6GiFG2kgRdWQ90X7/CWClENEzLsdD+4UCERLirW+1+bllxjPWaI64PUeXHyE1cTa64atPDf2a2nGT2DhGNlOuB
We invite applications for a one-year research position in the
DFG-funded project "GuideForce: Type-based Enforcement of Secure
Programming Guidelines". The GuideForce project develops tools for the
automatic enforcement of secure programming guidelines for Java. It
combines ideas from type systems and abstract interpretation to develop
a scalable analysis method. While guidelines for secure programming
are the first use-case, other applications are of interest too.
We are looking for a research staff with a background in programming
languages and with excellent programming skills in Java. Experience in
one of the following areas is a plus: compiler construction, security,
static program analysis, type systems and logic, implementation of
programming languages.
The position is available for a year with the possibility of extension,
starting as soon as possible. The salary will be set at level TV-L 13 of
the German public salary scale.
The work will be carried out at fortiss, a research institute in Munich
with close connections both to the Munich universities TUM and LMU
and to industry.
For any questions about the project or the position, please do not hesitate
to contact Chuangjie Xu <xu AT fortiss.org>.
Please submit your application by 30.11.2020 via the following link:
- [Coq-Club] Research position at fortiss, Munich, Chuangjie Xu, 10/26/2020
Archive powered by MHonArc 2.6.19+.