Open positions

Open positions in France

M2 Internship at IRIF, Université de Paris

Learning hybrid automata

M2 Internship at IRIF, Université de Paris

Timed distances and approximate verification of timed systems