Please contact one of the CLC faculty directly for open postdoc positions.
Perspective applicants to our department's PhD program who are interested in joining our group are encouraged to mention this in their application. See also this general notes for prospective graduate students.
Local graduate students interested in joining the group should first take a class taught by one of our faculty or postdocs. Examples of such classes include:
- CS:4350 Logic in Computer Science
- CS:4420 Artificial Intelligence
- CS:4640 Computer Security
- CS:5810 Formal Methods in Software Engineering
- CS:5850 Programming Language Foundations
Undergraduates are also encouraged to contact one of the CLC faculty directly if they are interested in a summer undergraduate research project, or independent study during a regular semester.
We do not usually accept unsolicited requests for internships from students at other institutions. If you are interested in visiting us from another school, please have one of your professors write us a short letter on your behalf.