PhD Studentships at Stevens Institute of Technology (New York City area)

by Eric Koskinen, Oct. 11, 2022

Accepting applications for PhD students in the area of programming languages, automatic formal verification and concurrency in the Cypress PL/Systems group at Stevens Institute of Technology.

PhD Studentship Positions

Accepting applications for PhD students in the area of programming languages, automatic formal verification and concurrency.

Topics

Successful applicants are expected to participate in a rigorous research program on topics such as:

  • Programming language design for concurrency (e.g. see our OOPSLA'22 paper)

  • Automatic parallelization and commutativity reasoning (e.g. TACAS'18)

  • Temporal logic verification (e.g. LICS'14, POPL'23 c.a.)

  • Relational verification (OOPSLA'19, CAV'21, POPL'23 c.a.)

  • Verification through integrated static and dynamic analysis (OOPSLA'20)

  • Automated verification of binary executables (APLAS'21)

  • Theory of automata and fixpoint logics (LICS'18)

  • The POSIX shell and its ecosystem (POPL’20; OSDI’22)

  • Program synthesis and logic programming (POPL’23 ASP; OOPSLA’20)

  • Gradual types (OOPSLA’21)

Studying at Stevens

Stevens Computer Science is rapidly expanding department with a strong PL/Verification group that is now #21 on CSRankings (on par with UCLA or RICE). Our Cypress Group consists of an active group of PhD students, postdoctoral researchers, and faculty in the areas of programming languages, systems and security. Faculty include Tegan Brennan, Eduardo Bonelli, Dominic Duggan, Michael Greenberg, Eric Koskinen, Philippe Meunier, David Naumann, Antonio Nicolosi, Georgios Portokalidis and Susanne Wetzel.

We are looking for talented young researchers to join our group and collaborate with current researchers and students at Stevens, as well as with other PL/Systems faculty members.

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 me their CV ([email protected]) and submit an application via The Graduate School.