Six-month internship and co-op focused on cybersecurity for legacy unmanned aerial systems. Combine reverse engineering with formal modeling to verify security properties, improve resilience, and aid regulatory compliance. Ideal for master's students writing a thesis in CS or EE.