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

[Ferry Huberts]

I think sending this to olsr-users would be more appropriate.
Most olsr developers here have paid jobs ;-)

On 06/12/12 11:44, Manuel Munz wrote:
> 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
>
>
>

-- 
Ferry Huberts