Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Research position at fortiss, Munich


view this post on Zulip Email Gateway (Oct 27 2020 at 09:31):

From: Chuangjie Xu <cj-xu@outlook.com>
We invite applications for a one-year research position in the
DFG-funded project "GuideForce: Type-based Enforcement of Secure
Programming Guidelines". The GuideForce project develops tools for the
automatic enforcement of secure programming guidelines for Java. It
combines ideas from type systems and abstract interpretation to develop
a scalable analysis method. While guidelines for secure programming
are the first use-case, other applications are of interest too.

We are looking for a research staff with a background in programming
languages and with excellent programming skills in Java. Experience in
one of the following areas is a plus: compiler construction, security,
static program analysis, type systems and logic, implementation of
programming languages.

The position is available for a year with the possibility of extension,
starting as soon as possible. The salary will be set at level TV-L 13 of
the German public salary scale.

The work will be carried out at fortiss, a research institute in Munich
with close connections both to the Munich universities TUM and LMU
and to industry.

For any questions about the project or the position, please do not hesitate
to contact Chuangjie Xu <xu@fortiss.org <mailto:xu@fortiss.org>>.

Please submit your application by 30.11.2020 via the following link:
https://recruitment.fortiss.org/RESEARCH-STAFF-ENFORCEMENT-OF-SECURE-PROGRAMMING-GUIDELINE-eng-j104.html <https://recruitment.fortiss.org/RESEARCH-STAFF-ENFORCEMENT-OF-SECURE-PROGRAMMING-GUIDELINE-eng-j104.html>

view this post on Zulip Email Gateway (Aug 26 2021 at 09:56):

From: Chuangjie Xu <cj-xu@outlook.com>
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:

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>


Last updated: Sep 25 2021 at 10:20 UTC