IACR News item: 15 July 2021
University of Stuttgart, Institute of Information SecurityJob Posting
fully-funded Postdoc position in formal verification.
The successful candidate is expected to work on tool-supported formal verification of security-critical systems and security protocols.
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, ranging from about 4.600 Euro to 6.200 Euro monthly gross salary). 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 and
- solid knowledge of logic, proofs and/or formal verification techniques (Theorem Proving, Type Checking, etc.),
- solid programming experience.
The deadline for applications is
August 1st, 2021.
Late applications will be considered until the position is filled. See the official job announcement for details on how to apply.
Closing date for applications:
Contact: Prof. Ralf Küsters
Institute of Information Security
University of Stuttgart
More information: https://www.sec.uni-stuttgart.de/institute/job-openings/
Additional news items may be found on the IACR news page.