[Agda] Research position at fortiss, Munich

[Chuangjie Xu]

We are looking for a researcher to strengthen our Safety & Security team
at fortiss, a research institute in Munich with close connections both to the
Munich universities TUM and LMU and to industry.

The Safety & Security team develops new methods and engineering principles
related to safety and security in software and system development. Example
areas of interest include:
- Automated reasoning for safety/security-engineering
- Security aspects of distributed systems, such as accountability and privacy
- Formal semantics, verification, and analysis of access control systems
- Program analysis and type systems

The position is available starting as soon as possible and will be for at least
two years initially, with the possibility of extension. You would be a team
member contributing to our research in one of the above areas. Applications
from candidates with skills in related areas are also welcome.

More details about this position can be found at:
https://recruitment.fortiss.org/RESEARCHER-SAFETYSEVURITY-MFD-eng-j163.html <https://recruitment.fortiss.org/RESEARCHER-SAFETYSEVURITY-MFD-eng-j163.html>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210825/1d1de8bd/attachment.html>