[Haskell] PhD Positions in Formal Methods and Language-based Security at Chalmers

*PhD* Positions in Formal Methods and Language-based Security at the Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: March 30, 2013 *Job description ...* *...

[Haskell] 4 PhD Positions at Chalmers

positions): http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx?RMURL=VacDetail%2Easpx%3FCommAdSeqNo%3D805 or contact Andrei Sabelfeld (andrei at chalmers.se) -Parallel algorithms and data structures in heterogeneous multi-core systems: http://www.chalmers.se/en/about

[Haskell] Summer School in Software Engineering and Verification 2011 - Call For Participation

Call for participation Summer School in Software Engineering and Verification will take place outside of Moscow, Russia, on July 17–27, 2011. The school is co-sponsored by Microsoft Research and is organized in cooperation with the Higher School of Economics (HSE) in Moscow. Courses The

[Haskell] PhD and Postdoc Positions in Language-based Security at Chalmers

*PhD* and *Postdoc* Positions in Programming Language-based Security Dept. of Computer Science and Engineering, Chalmers University of Technology, Sweden Application deadline: January 12, 2011 *Job description* The PhD

[Haskell] PhD Positions in Language-based Security at Chalmers

*PhD Student Positions in Programming Language-based Security* Dept. of Computer Science and Engineering Chalmers University of Technology, Sweden Application deadline: January 30, 2009 Full version of this announcement is

[Haskell] PhD Positions in Language-based Security at Chalmers

*PhD Student Positions in Programming Language-based Security* Dept. of Computer Science and Engineering Chalmers University of Technology, Sweden Application deadline: April 30, 2008 Full version of this announcement: