Computer Science, Stevens Institute of Technology

Position ID:Stevens-CS-POSTDOC [#9987]
Position Title: Multiple Post-Doctoral and PhD Positions at Stevens Institute of Technology
Position Type:Postdoctoral
Position Location:Hoboken, New Jersey 07030, United States [map]
Subject Areas: Computer Science / Formal Methods, system security
Appl Deadline:none (posted 2017/09/28)
Position Description:    

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.


This employer is not accepting applications for this position through AcademicJobsOnline.Org. Please see the job description above on how to apply.
Contact: Philippos Mordohai
Email: email
Postal Mail:
Castle Point on Hudson
Hoboken, NJ 07030
USA
Web Page: http://www.stevens.edu/ses/cs

© 2017 AcademicJobsOnline.Org. All Rights Reserved.