[TYPES/announce] Postdoctoral Researcher and (Senior) Research Associate/Scientist Positions at Penn State University

[Dinghao Wu]

Two Open Postdoctoral Researcher Positions and
One (Senior) Research Associate/Scientist Position





Applications are invited for two postdoctoral researcher positions and one (senior) research associate/scientist position on automatic software analysis, transformation, and security hardening in the Software Systems Security Lab<http://plato.ist.psu.edu/> at the Pennsylvania State University.



Candidates must have a Ph.D. in computer and information science or a related field. We seek candidates with strong motivation, ability to conduct research with a proven track record, excellent project management skills and experience, excellent written and oral communication skills, ability to effectively interact with and mentor graduate students. Strong programming skill is required. Experience in any or all of the following is a plus.



  *   Computer security, especially software, systems, and mobile security,
  *   Program analysis, model checking, and verification,
  *   Symbolic execution,
  *   Type systems,
  *   Programming languages,
  *   Compiler,
  *   Binary code analysis,
  *   Malware analysis,
  *   Reverse engineering, and
  *   Machine learning.



Researchers with more experience are encouraged to apply and may be appointed at senior level. The initial appointment will be one-year, but renewable for multiple years. The review of applications will begin immediately and will continue until the positions are filled. Contact Prof. Dinghao Wu<https://faculty.ist.psu.edu/wu/> for any questions (https://faculty.ist.psu.edu/wu/, email: dwu at ist.psu.edu<mailto:dwu at ist.psu.edu>). To apply, send via email a cover letter, CV, research statement (optional), 1-3 sample publications, and contact information of 2-5 references.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170520/f64d7e2e/attachment-0001.html>