Yes, I saw this offer.<br>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.<br>
<br><br><div class="gmail_quote">2010/11/8 Lee Pike <span dir="ltr"><<a href="mailto:leepike@gmail.com">leepike@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Hi,<br>
<br>
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.)<br>
<br>
We had two visiting scholars last summer, from Germany and France respectively, publishing a paper and even flying some aircraft <<a href="http://www.galois.com/blog/2010/09/22/copilot-a-dsl-for-monitoring-embedded-systems/" target="_blank">http://www.galois.com/blog/2010/09/22/copilot-a-dsl-for-monitoring-embedded-systems/</a>>. The project is a Haskell DSL project focused on monitoring embedded systems.<br>
<br>
Interested folks can contact Alwyn Goodloe (Cc'ed) at the NIA and myself, off the list.<br>
<br>
Regards,<br>
<font color="#888888">Lee<br>
</font><div><div></div><div class="h5"><br>
> Hello folks !<br>
> I am a Computer Science student looking for an internship of 6 months here<br>
> in France. Does anybody know of any company working with Haskell ?<br>
> Thanks in advance :D,<br>
><br>
> Lorenzo Fundaró García<br>
<br>
_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br>