Skip to Main Content
Pathways to Science: Science, Technology, Engineering, and Mathematics. Search for a program . . . find your future.

Integrated Symbolic execution for Space-Time Analysis of Code (ISSTAC)

View this Opportunity's Website 

Academic Level:
Postdoc & Early Career

The Department of Computer Science at the University of California, Santa Barbara invites applications for an Assistant Project Scientist to be part of research team in the Verification Laboratory (VLab) in the areas of symbolic verification techniques for cyber-security. The Assistant Project Scientist will work on a research project titled ?Integrated Symbolic execution for Space-Time Analysis of Code (ISSTAC)? involving symbolic execution of Java Bytecode for automatically identifying (1) denial of service attacks (by determining worst case complexity of a program in terms of both time and space usage) and (2) side channel attacks (by determining if observations about the execution time or memory usage of a program can leak secret information). This is a multi-year collaborative effort with researchers from the Carnegie Mellon University, the Vanderbilt University and the Queen Mary University of London. The appointment will be full-time (100%) for one year, with the possibility of renewal, depending upon funding for the project.

Research directions within the scope of this project include novel constraint solving techniques, heuristics for scalable symbolic program analysis, automated worst-case behavior analysis, quantitative information flow using symbolic execution, etc. The Assistant Project Scientist will join the Verification Laboratory (VLab) lead by Professor Tevfik Bultan and will conduct research in collaboration with graduate students, postdoctoral researchers and Professor Bultan on these research areas.

Basic qualifications: The minimum qualifications required to be an applicant are a PhD degree in Computer Science.

Additional qualifications: Prior experience demonstrating significant, original, and creative contributions to research projects in the field of symbolic execution techniques and SMT-solvers, and string constraint solvers.

The Department is especially interested in candidates who can contribute to the diversity and excellence of the academic community through research, teaching and service.

The University of California is an Equal Opportunity/Affirmative Action Employer and all qualified applicants will receive consideration for employment without regard to race, color, religion, sex, sexual orientation, gender identity, national origin, disability status, protected veteran status, or any other characteristic protected by law.
accepts non-us citizens

Application Deadline: 4/1/2017
Note: Most programs maintain a similar program cycle (including similar application deadlines) year after year. Click here to understand dates and deadlines on

Participating Institution(s):
(Click an institution to see all programs it hosts)
University of California, Santa Barbara (Lead)

Program Materials:
 • Postdoc Website this link takes you to a different website

This Program can be Described by:
Academic Disciplines:
Computer Sciences

Computer Security
Software Engineering

Questions about this program?
Click here to view this program's website

This program is funded by:
U.S. Dept. of Defense

Page last updated 3/22/2017 10:56:25 AM
Click here to submit updates to this program listing!

Create your own user feedback survey


a flag denotes an institution that is the lead of an allianceInstitution that is the lead of an alliance

An exclamation point denotes a program with an upcoming deadlineUpcoming deadline

an airplane denotes a study abroad opportunityProgram includes a study abroad component

icon indicating a short-term opportunityDifferent from a program, an opportunity is generally short-term; they include paid workshops, travel funds, or professional development opportunities

icon indicating a nationwide programNationwide programs are not based at individual institutions

an airplane denotes a study abroad opportunityProgram Just Posted

a suitcase denotes portable fundingPortable Funding

a globe denotes funding for international studentsFunds International Students

a checkbox denotes a program recently updatedProgram recently updated