ENS Ecole normale supérieur este una din cele mai renumite universitati din Franta.

45 Rue d'Ulm, Paris, France

Fă-ți stagiul la ENS Ecole normale supérieur France

Corectitudinea sistemelor distribuite
45 Rue d'Ulm, Paris, France
Stagiu consista intr-o prima parte de adaptare la mediul academic. Participarea la prezentarile din universitate, la reading groups, familiarizarea cu domeniul de cercetare al stagiului, etc. Subiectul stagiului se invarte in jurul corectitudinii programelor distribuite tolerante la pana, utilizand metode formale precum model checking sau analiza statica. Stagiul presupune obtinearea unor rezultate teoretice (adaptarea technicilor…