NASA summer internships

Stream: job postings

[loki der quaeler]

(cross-posting from the FOM mail list)

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@nasa.gov with any questions.