The Department of Computer Science at Stevens Institute of Technology in New York City is seeking applicants for PhD Student positions in the area of programming languages, formal methods. Stevens Computer Science is a rapidly expanding department and we are looking for talented young researchers to join. Successful applicants are expected to participate in a rigorous research program on topics such as programming languages, security, program analysis, formal verification, concurrency and temporal logic.
We have an active group of students, postdoctoral researchers, and faculty. New students will collaborate with current researchers and students at Stevens, as well as with other faculty members active in the area of programming languages, types, verification, security and systems.
PhD student applicants must have BS degree in Computer Science or a closely related field. An MS degree is not required and students can start in the fall or spring semester. All PhD students are fully funded, including their tuition and a generous stipend. Interested applicants should email a CV to firstname.lastname@example.org and submit an application via http://www.stevens.edu/ses/cs/graduate/doctorate. More information regarding the project lead can be found at