[Olsr-dev] Fwd: [FFA] Australisches Forscherteam: Formalisierung und Verifizierung von OSLR, Praktikumsplatz mit Vollstipendium

[Manuel Munz]

Hi,

i forward this message as it is, sorry for the german. English summary:
There is a internship available at NICTA in Australia related to OLSR.
Please see the attached PDF. Maybe some student would be interested in this.

Regards, Manuel

--- Forwarded part from freifunk augsburg mailinglist

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: 9337-343-modellingwmns.pdf
Type: application/pdf
Size: 83220 bytes
Desc: not available
URL: <http://lists.olsr.org/pipermail/olsr-dev/attachments/20121206/f4e2e14b/attachment.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 198 bytes
Desc: OpenPGP digital signature
URL: <http://lists.olsr.org/pipermail/olsr-dev/attachments/20121206/f4e2e14b/attachment.sig>