On the subject of graduate study, here is an option that might be attractive to students with interests in logic and its application. The European Master of Science Program in Computational Logic is a two year program run in collaboration with five universities, the technical universities of Dresden, Vienna, and Madrid, the Free University of Bolzano, and the New University of Lisbon. Instruction is in English. Students interested in moving from mathematics or philosophy into theoretical computer science may find this rigorous program to offer an attractive bridge. The prerequisites are listed here. Although ours is a young program, we are seeing good success placing our graduates in top PhD programs in computer science, in both the US and in Europe. Moreover, I would anticipate that formal epistemology programs would be interested in philosophically oriented students with a strong background in computational logic.
Another nice thing is that the “European Master” designation allows us to offer funding for non-European students, including a yearly travel stipend to and from your home country. I encourage interested students to check the links, including a promotional video on the first linked page, or contact Professor Stephen Holldöbler at TU Dresden. I’d be happy to field questions, too.