The SPADES team at Inria Grenoble is looking for postdoctoral researchers with a background in either real time systems or formal proofs. Please contact Sophie Quinton.
The Real-Time Systems Group at Max Planck Institute for Software Systems is looking for postdoctoral researchers and PhD students. Please contact Björn Brandenburg.
