Internships at GHC HQ

Paulo J. Matos pocm at
Sat Feb 9 10:33:40 EST 2008

On Jan 25, 2008 11:40 AM, Simon Peyton-Jones <simonpj at> 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:
> 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.


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
> Glasgow-haskell-users at

Paulo Jorge Matos - pocm at
PhD Student @ ECS
University of Southampton, UK

More information about the Glasgow-haskell-users mailing list