Openings

9/6/2017

Multiple Post-Doctoral and 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 multiple Postdoctoral Researcher and PhD Student positions in the area of systems security 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 software & network security, program analysis, formal verification, hardware & language-based security, and IoT security.

RESEARCH

Successful applicants will primarily work on one of two new research projects, lead by Prof. Georgios Portokalidis and Prof. Eric Koskinen, respectively:

  • Attack surface reduction and protection of software binaries This project aims to develop novel methods and tools that can effectively and comprehensively reduce the attack surface and secure deployed applications. Successful applicants should have a combination of creativity, self-motivation, strong programming skills, and a desire to understand how systems and software work to devise practical solutions for improving their security and reliability. While we encourage all interested candidates to apply, knowledge in one or more of the following areas would be beneficial:
    • Analysis methods for binaries (dynamic or static)
    • Software exploitation
    • Reverse engineering
    • Operating systems
    • Compilers & linkers
  • Formal verification of program transformations This project aims to develop automatic software verification techniques to ensure the correctness of programs that have been transformed. Specifically, our goal is to formally prove that some aspects of the program behavior have remained the same (e.g., during coarse-grained optimizations), whereas others have changed (due to feature reduction and security changes). These problems come with both specification and scalability challenges. Successful applicants should have a combination of creativity, self-motivation, and strong interests in applying formal verification to solve practical problems. While we encourage all interested candidates to apply, knowledge in one or more of the following areas would be beneficial:
    • Formal reasoning about programs and program transformations
    • Automatic Software Verification
    • Abstract Interpretation
    • Temporal Logic
    • Mathematical/logical foundations of automatic verification
    • Deduction, composition, and abstraction for verification

New Postdoctoral Researchers and PhD Students will collaborate with current researchers and students at Stevens, as well as with other faculty members active in the area of security, systems, verification and programming languages.

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 one year with an option to renew for up to three years. Starting date is negotiable (a preference will be given to those who can start by November 2017). Interested applicants should email a CV, and the names of three references with their email addresses and phone numbers to gportoka@stevens.edu or eric.koskinen@stevens.edu.

PhD 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 gportoka@stevens.edu or eric.koskinen@stevens.edu. and submit an application via http://www.stevens.edu/ses/cs/graduate/doctorate.

More information regarding the project leads can be found at

Inquiries can be directed to any PI.

9/1/2016

PhD Position on Using Hardware for Efficient Information-Flow Tracking

Seeking applicants for one PhD student position in the area of systems security. Successful applicants are expected to participate in a rigorous research program on topics such as hardware-based security, FPGA applications, and information-flow architectures.

RESEARCH

The student will primarily work on "Trails: Efficient Data-Flow Tracking Through HW-assisted Parallelization" (funded by DARPA). This project investigates a novel architecture for efficiently performing dynamic data-flow tracking through hardware-assisted parallelization. In particular, exploiting debugging extensions found in modern CPUs. Applicants should have a combination of creativity, self-motivation, strong programming skills, and a desire to understand how software and hardware interplay. While we encourage all interested candidates to apply, knowledge in one or more of the following areas would be beneficial:

  • Analysis methods for binaries (dynamic or static)
  • Familiarity with assembly
  • Kernel development
  • FPGA programming

The PhD Student will collaborate with current researchers and students at Stevens, as well as with other faculty members active in the area of security, systems, and programming languages.

HOW TO APPLY

PhD 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 gportoka@stevens.edu and submit an application via http://www.stevens.edu/ses/cs/graduate/doctorate.