Postdoctoral Researcher and PhD Student Positions Available
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.
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:- Automatic software verification, static analysis, abstract interpretation
- Temporal logic and Kleene Algebra with Test (KAT)
- Concurrency, commutativity, parallelization
- Relational verification
- 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 eric.koskinen@stevens.edu.
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 eric.koskinen@stevens.edu and submit an application via http://www.stevens.edu/ses/cs/graduate/doctorate.