Direkt zum Inhalt

Universität Stuttgart | Institut für Informationssicherheit

Postdoc Position (E13/E14) in Formal Methods, Cryptography, and Web Security

  • Online seit 10.06.2021
  • 210610-472591
  • Wissenschaftl. Stellen

Beschreibung

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.

Anforderungsprofil

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 Küsters, ralf.kuesters@sec.uni-stuttgart.de.

Anzeigendaten

Art der Beschäftigung
Vollzeit
Zeitraum der Beschäftigung
Ein bis sechs Jahre
Vergütung
TV-L E13 oder E14, Vollzeit
Bewerbungsfristsende
Sonntag, 04. Juli 2021 - 23:59
Bewerbungs-E-Mail
ralf.kuesters@sec.uni-stuttgart.de

Kontaktdetails

Hochschule / Einrichtung
Universität Stuttgart
Institut / Einrichtung
Institut für Informationssicherheit
Standort
Universitätsstr. 38
70569 Stuttgart, Deutschland
Kontaktperson
Herr Prof. Dr. Ralf Küsters
Telefon

+4971168588283

E-Mail
ralf.kuesters@sec.uni-stuttgart.de
Webseite
https://sec.uni-stuttgart.de/

Kontakt

Herr Prof. Dr. Ralf Küsters

+4971168588283


ralf.kuesters@sec.uni-stuttgart.de

Einsatzort

Universität Stuttgart | Institut für Informationssicherheit

https://sec.uni-stuttgart.de/

Universitätsstr. 38
70569 Stuttgart
Deutschland