The candidate should work on a project
aiming to generate from an abstract specification
a probabilistic parallel algorithm.
We require knowledge of the theory of formal
specification of concurrent systems and/or
experience with randomized algorithms.
The position is for two years and salary ranges
around Sfr. 50.000 / year ( about US 40.000/year).
In order to apply for the position
send the resume via email to ro...@cui.unige.ch
as soon as possible.
More informations can be obtained upon request at the
above email address.