NASA Ames Internships

The call is currently out for applications to the NASA Ames Summer Internship programme for this year. If you're interested, or know someone who might be, drop me an email basically NOW, because I have to submit a list of people and projects over the next couple of days.

Disclaimer: I don't make the rules, or make the final selection of who gets to go. You have to pass security vetting by the FBI, and (obviously) you need to have background that is relevant to the Reliable Software Engineering group (i.e. model checking, abstract interpretation, that sort of stuff). You probably need to be a PhD student (or near equivalent, e.g. just before/not long after). Money is pretty decent, or was when I was an intern two years ago anyway. Mountain View is nice. Er... if there is anything else you want to know, google it, or ask me about it.