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.

2010/11/8 Lee Pike <leepike@gmail.com>

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-systems/>.  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