Graduate internship in formal methods research. Contribute to formal verification, model-based design, cryptographic protocols, and embedded control systems. Remote-friendly; 30 hrs/wk (academic year) or 40 hrs/wk (summer). U.S. citizens or eligible residents; GPA 3.0+. Competitive pay.