The following positions are currently open.
- Scientific programmer
- PostDoc researcher in formal verification extended with optimization metaheuristics
Research Center for Mathematical Trust in Software and Systems, National Institute of Informatics