NASA summer internships

[Dutle, Aaron M. (LARC-D320)]

NASA Langley Research Center is looking for 10-week summer interns for several projects in Formal Methods.
These opportunities begin in early June, and are being conducted virtually this year. The opportunities are open to US Citizens, who are currently attending college at either the late undergraduate or graduate level.

Prospective interns are asked to visit https://intern.nasa.gov/, follow the “interns” link. Opportunities that may be of interest to the FOM community include
012101: Formalization and Application of Graph Theory for Airspace Systems
012102: Floating-Point Error Analysis
012116: Formal Reasoning of Operational Volumes within Emergency Response Operations
011965: Formal Modelling of Human Autonomy Teaming Paradigms

Please forward to any interested parties, and contact aaron.m.dutle at nasa.gov<mailto:aaron.m.dutle at nasa.gov> with any questions.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220301/468428c8/attachment-0001.html>