Corectitudinea sistemelor distribuite
@ENS Ecole normale supérieur France, în 45 Rue d'Ulm, Paris, France

Responsabilități

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 de verificare formala la implementarile structurilor de date distribuite) cat si implementarea si evaluarea rezultatelor obtinute pe o multime de benchmarks representative.

Calificări

  • programming languages: macar unul dintre C/ C++/ ML/ Scala

  • structuri de date

  • network programming

  • notiuni de baza in algorithmi (plus daca stagiarul are notiuni de algorithmi distribuiti)

  • bonus: notiuni de correctitudinea programelor

Ajută-ne să ducem acest Stagiu pe Bune la mai mulți studenți.