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.
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.
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 firstname.lastname@example.org.
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@example.com and submit an application via http://www.stevens.edu/ses/cs/graduate/doctorate.