Postdoctoral Researcher and PhD Student Positions Available

by Eric Koskinen, Sept. 2, 2020

The Department of Computer Science at Stevens Institute of Technology in New York City is seeking applicants for Postdoctoral Researcher and PhD Student positions in the areas of Programming Languages and 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, program analysis, formal verification, concurrency, temporal logic and binary decompilation/lifting.

The Department of Computer Science at Stevens Institute of Technology in New York City is seeking applicants for Postdoctoral Researcher and PhD Student positions in the area of programming languages and 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, program analysis, formal verification, concurrency, temporal logic and binary decompilation/lifting.

RESEARCH

Successful applicants will join the many programming languages researchers at Stevens and, specifically, work with Prof. Eric Koskinen on projects including topics such as:

  • Relational verification
  • Temporal logic and Kleene Algebra with Test (KAT)
  • Automatic software verification, static analysis, abstract interpretation
  • Concurrency, commutativity, parallelization
  • Deduction, composition, and abstraction for verification
  • Binary decompilation/lifting/analysis/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 such as Eduardo Bonelli, Dominic Duggan, Eric Koskinen, David Naumann, Georgios Portokalidis, and Jun Xu.

HOW TO APPLY

Postdoctoral Researcher applicants must have a Ph.D. in Computer Science or a closely related field. The term of the position is at least through September 2021, subject to annual renewals based on satisfactory performance. Position is available immediately; later starting dates are negotiable. Interested applicants should email a CV, and the names of three references with their email addresses and phone numbers to [email protected].

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 [email protected] and submit an application via http://www.stevens.edu/ses/cs/graduate/doctorate.