>From a guy I know at the NASA Ames Research Center (Mountain View, CA): >Btw, we're also looking >for summer interns (same thing: priority to American citizens). So, if >you know of good ones in static analysis, model checking, compositional >verification, let me know. Let me know if you're interested, and I'll put you in touch with him... Philippe