[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Applications are invited for postdoc and PhD positions at the CODE Research
Institute of UniBw Munich, Germany, in Johannes Kinder's PATCH lab (
https://urldefense.com/v3/__https://www.unibw.de/patch/__;!!IBzWLUs!DZ2w3oRka2U-cE6zbrFki_h6VUH8tY56kaFTUxCj0xVH7TwyHZR-dPEYw-5SZPhGTye3sYBF9Bmv9g$
). The positions are fully funded at federal salary level E13.
Positions are available on two projects on secure software supply chains.
Relevant topics include but are not limited to:
- Static analysis of dynamically typed languages
- Modeling of malicious behavior
- Anomaly detection in runtime behavior across software versions
- Combinatorial fuzz testing
Interested candidates should send their application to Johannes Kinder by
September 15, 2021.
More information on the positions and the application process is available at
https://urldefense.com/v3/__https://www.unibw.de/patch/vacancies__;!!IBzWLUs!DZ2w3oRka2U-cE6zbrFki_h6VUH8tY56kaFTUxCj0xVH7TwyHZR-dPEYw-5SZPhGTye3sYA6S_e_Dg$