Back to Main Page

PhD Positions at Stevens Institute of Technology

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.


Successful applicants will work with Prof. Eric Koskinen on projects including topics such as:
  • Formal reasoning about programs and program transformations
  • Automatic Software Verification
  • Abstract Interpretation
  • Temporal Logic
  • Concurrency
  • Mathematical/logical foundations of automatic verification
  • Deduction, composition, and abstraction for verification

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 and submit an application via More information regarding the project lead can be found at