*Position description** *Category** Mathematics, information, scientific, software *Contract** Internship *Job title** Formal Investigation of Timing Anomalies and Memory Interference in Multicore WCET Analysis H/F *Subject** Critical automotive and avionics systems must guarantee that deadlines are