Yves, On Nov 8, 2010, at 0:21, Yves Parès wrote:

Yes, I saw this offer. Very, very interesting, but the duration of the internship wasn't specified. By "summer", I thought you meant July/August, didn't you? But we are looking for a 6-month internship.

You are correct. We're looking for someone for 3-4 months, but that is negotiable. Regards, Lee

2010/11/8 Lee Pike Hi,

On a (possibly-related) note: Galois, Inc. and the National Institute of Aerospace (NIA) will likely be hosting a Visiting Scholar this summer for a joint NASA-sponsored project, located in Virginia, on the East coast of the U.S. (Since this particular opportunity is a visiting scholar position, we pay all travel/living expenses, but no salary, so one does not need a visa/work permit to work in the U.S.)

We had two visiting scholars last summer, from Germany and France respectively, publishing a paper and even flying some aircraft http://www.galois.com/blog/2010/09/22/copilot-a-dsl-for-monitoring-embedded-.... The project is a Haskell DSL project focused on monitoring embedded systems.

Interested folks can contact Alwyn Goodloe (Cc'ed) at the NIA and myself, off the list.

Regards, Lee

...

Hello folks ! I am a Computer Science student looking for an internship of 6 months here in France. Does anybody know of any company working with Haskell ? Thanks in advance :D,

Lorenzo Fundaró García

_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe