
<html><head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">We are looking for a researcher to strengthen our Safety & Security team<div class="">at fortiss, a research institute in Munich with close connections both to the</div><div class="">Munich universities TUM and LMU and to industry.</div><div class=""><br class=""></div><div class="">The Safety & Security team develops new methods and engineering principles</div><div class="">related to safety and security in software and system development. Example</div><div class="">areas of interest include:</div><div class="">- Automated reasoning for safety/security-engineering</div><div class="">- Security aspects of distributed systems, such as accountability and privacy<br class=""></div><div class="">- Formal semantics, verification, and analysis of access control systems<br class=""></div><div class="">- Program analysis and type systems</div><div class=""><br class=""></div>The position is available starting as soon as possible and will be for at least<div class="">two years initially, with the possibility of extension. You would be a team</div><div class="">member contributing to our research in one of the above areas. Applications</div><div class="">from candidates with skills in related areas are also welcome.</div><div class=""><br class=""></div><div class="">More details about this position can be found at:</div><div class=""><a href="https://urldefense.com/v3/__https://recruitment.fortiss.org/RESEARCHER-SAFETYSEVURITY-MFD-eng-j163.html__;!!IBzWLUs!Ctfl_C4HZdw9U86JDjICpD2Sc7Ck8A5iZY4RzgW95F1kB4fDskX35fRIo5t0BDxWmA3mZaLxj6Vucg$" class="">https://recruitment.fortiss.org/RESEARCHER-SAFETYSEVURITY-MFD-eng-j163.html</a></div><div class=""><br class=""></div></body></html>