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

Dinghao Wu dwu at ist.psu.edu
Mon Jul 17 19:03:45 EDT 2017


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 and model checking,
  *   Formal methods and verification,
  *   Symbolic execution,
  *   Type systems and logics,
  *   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 research associate/scientist or senior research associate/scientist 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/> (dwu at ist.psu.edu<mailto:dwu at ist.psu.edu>) for any questions. To apply, send via email a cover letter, CV, research statement, 1-3 sample publications, and 2-5 reference letters.




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


More information about the Types-announce mailing list