Check out this article if you are planning to do an internship, you can find useful tips and examples there. The article discusses everything from finding the right opportunity up to some common interview questions. While it is not specifically written for computer science students, the tips are still relevant!
To find internship opportunities within the formal methods community also check out the pointers and offers here on CAVlinks. Good luck finding the right internship for you!