[FFA] Australisches Forscherteam: Formalisierung und Verifizierung von OSLR, Praktikumsplatz mit Vollstipendium

[Profpatsch]

Hi Liste,

bei uns kam gerade vorhin jemand in die Vorlesung, der eine
Auslandspraktikums-Vollstipendiums-Aktion von daad.de vorstellte. Ein
Praktikumsplatz ließ mich aufhorchen und zwar geht es um eine
Implementierung von OSLR als Prozessalgebra, zur Verifizierung
bestimmter Eigenschaften, wie die Zusicherung, das Pakete immer
ankommen etc.

Das könnte die wissenschaftliche Bestätigung liefern, dass das
Protokoll so funktioniert, wie es soll und vllt. sogar Verbesserungen
vorschlagen.

Wenn wir hier einen Bachelor-Studenten haben, der Interesse and
Freifunk und Theoretischer Informatik (Prozessalgebra) hat, wäre es
bestimmt nicht verkehrt, sich da zu bewerben, in Anbetrach dessen,
dass ein Vollstipendium mit im Spiel ist.

Der Link ist dieser (nur mit Anmeldung):
http://www.daad.de/app-rise-ww/rise-ww/application/offer?id=9337&subject=55&country=0&language=0
Für alle anderen ist im Anhang die Beschreibung des Praktikums.

Weiterer Link: http://www.nicta.com.au/people/phoefner
Vllt. will mal jemand nach der Projektseite suchen (falls sie schon
existiert).

Tüdeldü,
Profpatsch
-------------- nächster Teil --------------
Ein Dateianhang mit Binärdaten wurde abgetrennt...
Dateiname   : 9337-343-modellingwmns.pdf
Dateityp    : application/pdf
Dateigröße  : 83219 bytes
Beschreibung: nicht verfügbar
URL         : <http://lists.subsignal.org/pipermail/freifunk-augsburg/attachments/20121205/ca1e6953/attachment-0001.pdf>