On Jan 25, 2008 11:40 AM, Simon Peyton-Jones <[EMAIL PROTECTED]> wrote: > Would you be interested in working at Microsoft Research for three months? > If so, you might want to think about applying for an internship. > > Simon and I are looking for interns, starting in summer 2008. Lots of > background info here: > http://hackage.haskell.org/trac/ghc/wiki/Internships > including a bunch of possible projects, although you may also have ideas of > your own. >
Hello Simon, I wonder if there is any interest by the part of Microsoft and the Haskell community in a software model checker using SAT-based techniques for Haskell. There's have been in the last few year a couple of approaches on this for C by several people, including some Microsoft people. Cheers, Paulo Matos > But the bottom line is > - apply by end Feb 2008 for this round > - tell one of us that you have done so > > (None of this is restricted to Haskell stuff. You can apply to work at any > Microsoft Research lab, on any topic. But there are a lot of applicants, so > you are more likely to be successful if you are fairly specific about who at > MSR you'd like to work with and why, and contact that person to say that > you've applied.) > > Simon > _______________________________________________ > Glasgow-haskell-users mailing list > [EMAIL PROTECTED] > http://www.haskell.org/mailman/listinfo/glasgow-haskell-users > > > -- Paulo Jorge Matos - pocm at soton.ac.uk http://www.personal.soton.ac.uk/pocm PhD Student @ ECS University of Southampton, UK _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe