Internship & Co-op: contract-based design for linear DAEs. Extend contract theory to differential-algebraic systems, develop verification methods, run literature reviews, apply ideas to simple examples, and contribute to team discussions. Strong math skills required.