Assistant Professor Job in Formal System Analysis, Computer Science - Irene Curie Fellowship