PhD positions, application deadline:
Post-Doc positions, application deadline:
HiB is a partner in the EU Horizon 2020 project COEMS – Continuous Observation of Embedded Multicore Systems, which has recently been funded with 3.9M EUR across five academic and industrial partners. The ability to observe the internals of an execution of a computer-based system is a fundamental requirement for ultimately ensuring correctness and safe behaviour. Within COEMS, a novel, FPGA-based, observer platform with supporting verification methods for software systems is created. COEMS tackles the issues of detection and identification of non-deterministic software failures caused by race conditions and access to inconsistent data. It gives insight to the system’s actual behaviour without affecting it, allowing new verification methods.
The PhD project will span one or more of the following areas, depending on the qualifications and interests of the successful applicant.
• Static analysis methods for identifying hot spots in programs and monitors;
• Specification and monitor synthesis methods for runtime verification;
• Lightweight instrumentation methods.