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)

Click Here to Learn More and Apply! 

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

Learn More and Apply!

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

Featured Program!

The Fisk-Vanderbilt Masters-to-Ph.D. Bridge Program

The Fisk-Vanderbilt Master’s-to-PhD Bridge Program focuses on increasing the number of underrepresented minorities in astronomy, biology, chemistry, materials science and physics. Students work towards the Master’s degree at Fisk with the intention to enter a PhD program at Vanderbilt or elsewhere, with access to instructional and research opportunities at both institutions. Tuition, stipend, and medical insurance are provided. Click here to learn more and apply!

Interested in featuring your own program in this space? Click here to learn more.


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