[PRL] Fwd: looking for post. doc.'s and ph.d. students
Vasileios Koutavas
vkoutav at ccs.neu.edu
Fri Dec 19 04:29:13 EST 2008
Lars Birkedal <birkedal at itu.dk> wrote:
> Dear Participants of the Fall School on Logics and Semantics of State:
>
> I recently got a research grant together with Peter Sestoft
> for developing tools and methods for verification of C# programs.
> Thus we will be looking for several post. doc.'s and Ph.D. students
> and I am writing to ask if some of you could be intereted in hearing
> more
> about the post. doc. possibility and if you could forward this
> message to
> students who might be interested in either the post. doc. or the
> Ph.D. possibility.
> Those who are interested in hearing more about the project etc. are
> most
> welcome to contact me (birkedal at itu.dk) or Peter Sestoft (sestoft at itu.dk
> ).
> There will be an official announcement and call for applications
> later.
>
> Thank you very much in advance for your help and
> best wishes for the holidays,
>
> Lars.
>
>
> Lars Birkedal
> Professor, Head of Programming, Logic, and Semantics Group
> IT University of Copenhagen
> Web: http://www.itu.dk/people/birkedal
> Phone: +45 7218 5280
> Email: birkedal at itu.dk
>
>
More information about the PRL
mailing list