[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