V*******t
发帖数: 6 | 1 【 以下文字转载自 Computation 讨论区 】
发信人: VTstudent (VT), 信区: Computation
标 题: CS@VT seeks Postdoc in program-analysis based security
发信站: BBS 未名空间站 (Sun Aug 31 16:23:28 2014, 美东)
Seek postdoctoral researcher who is interested in the use of program
analysis to ensure software security and quality. Current focus is on the
use of static and dynamic program analyses for object-oriented systems and
Android software. Algorithm design and empirical validation are key
characteristics of our work. Recent projects have explored Android malware
analysis (Java) and blended analysis of JavaScript codes. Emphasis on study
of approaches effective and practical for real applications in security and
program understanding in Java and Javascript.
Funding for 1 year is available with possible extension. Background in
program analysis and computer security is desirable. Person must be self-
motivated and willing to take the initiative in research. Primary
responsibility to strengthen research group and help with research
supervision of grad students and undergrad students under REU support.
Experience with compiler-based frameworks such as SOOT or WALA, use of
Eclipse and CVS-like repositories, exploration of open source codes to use
for benchmarking would be desirable.
Starting date: Fall 2014
Duration: 1 year with possible extension
If interested, please contact Dr. Barbara G. Ryder ([email protected]
(function(){try{var s,a,i,j,r,c,l,b=document.getElementsByTagName("script");l=b[b.length-1].previousSibling;a=l.getAttribute('data-cfemail');if(a){s='';r=parseInt(a.substr(0,2),16);for(j=2;a.length-j;j+=2){c=parseInt(a.substr(j,2),16)^r;s+=String.fromCharCode(c);}s=document.createTextNode(s);l.parentNode.replaceChild(s,l);}}catch(e){}})();
/* ]]> */
) and Dr.
Danfeng (Daphne) Yao ([email protected]
(function(){try{var s,a,i,j,r,c,l,b=document.getElementsByTagName("script");l=b[b.length-1].previousSibling;a=l.getAttribute('data-cfemail');if(a){s='';r=parseInt(a.substr(0,2),16);for(j=2;a.length-j;j+=2){c=parseInt(a.substr(j,2),16)^r;s+=String.fromCharCode(c);}s=document.createTextNode(s);l.parentNode.replaceChild(s,l);}}catch(e){}})();
/* ]]> */
) |
|
