[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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:
[email protected]<mailto:[email protected]>). To apply, send via email a cover
letter, CV, research statement (optional), 1-3 sample publications, and contact
information of 2-5 references.
