Friday, June 11, 2021

[DMANET] Postdoc Position in Formal Security Analysis of Cryptographic Protocols and Web Applications, University of Stuttgart, Germany

The Institute of Information Security at University of Stuttgart offers a

fully-funded Postdoc position.

The successful candidate is expected to work on tool-supported formal
analysis of cryptographic protocols and web applications building, among
others, on our work published at EuroS&P 2021, S&P 2019, CSF 2017, CCS
2016, CCS 2015, ESORICS 2015, and S&P 2014. One goal is to provide
tool-supported security analysis based on DY* for our web infrastructure
model (WIM).

The position is available immediately with an internationally
competitive salary (German public salary scale TV-L E13 or TV-L E14,
depending on the candidate's qualification). The appointment period
follows the German Wissenschaftszeitvertragsgesetz (WissZeitVg), ranging
from one year to up to six years.

The Institute of Information Security offers a creative international
environment for top-level international research in Germany's high-tech
region.

The successful candidate should have a Ph.D. (or should be very close to
completion thereof) in Computer Science, Mathematics, Information
Security, or a related field. We value strong analytical skills.
Knowledge in one or more of the following fields is an asset:

- Formal Methods (Verification, Theorem Proving, F*, Type Checking, etc.)
- Security Protocol Analysis
- Web Security

Knowledge of German is not required.

The University of Stuttgart is an equal opportunity employer.
Applications from women are strongly encouraged. Severely challenged
persons will be given preference in case of equal qualifications.

To apply, please send email with subject "Application: Postdoc Position"
and a single PDF file containing the following documents to
ralf.kuesters@sec.uni-stuttgart.de:
* Cover letter (explaining your scientific background and your
motivation to apply)
* Curriculum Vitae
* List of publications
* Copies of transcripts and certificates (Bachelor, Master, PhD)
* Names of at least two references

The deadline for applications is

July 4th, 2021

Late applications will be considered until the position is filled.

See https://sec.uni-stuttgart.de/ for more information about the institute.

See https://www.sec.uni-stuttgart.de/institute/job-openings/ for the
official job announcement.

For further information please contact: Prof. Dr. Ralf Kuesters,
ralf.kuesters@sec.uni-stuttgart.de.

--
Prof. Dr. Ralf Kuesters
Institute of Information Security - SEC
University of Stuttgart
Universitätsstraße 38
D-70569 Stuttgart
Germany
https://sec.uni-stuttgart.de
Phone: +49 (0) 711 685 88283
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************