We are actively looking for people to join! ✊ We are looking for graduate students with strong backgrounds in 1) the formal aspects of programming languages and 2) building realistic systems and tools. Students are not required to be strong in both, though we would like students to have an interest in both. We are also open to inquiries from strong postdoctoral candidates and motivated undergraduate students.
CMU has a large and active Principles of Programming group that we are a part of. The School of Computer Science PhD application is here. The application deadline for 2018 admissions is December 14, 2017.
Jean has compiled the following advice on applying for a PhD in computer science:
If you are considering a stint in academia, you may be interested in these blog posts Jean has written.
| Reasons to Pursue a Ph.D. | December 11, 2011 |
| The Life of an Academic, Explained | February 5, 2012 |
| How Science Really Works | January 12, 2013 |
| What My PhD Was Like | February 27, 2016 |
Pittsburgh is not just affordable and liveable, but also newly hip 🔥. Why wouldn't you want to be here?
| Pittsburgh Gets a Tech Makeover | July 22, 2017 |
| A Revitalized Pittsburgh Suggests the President Used a Rusty Metaphor | June 2, 2017 |
| Built on Steel, Pittsburgh Now Thrives on Culture | April 12, 2017 |
| 36 Hours in Pittsburgh | July 15, 2015 |