[TYPES/announce] Postdoc or Assistant Research Professor position in formal methods and probabilistic programming

[Tan, G. Gary]

Assistant Research Professor or Postdoc position at Penn State CSE

Applications are invited for a full-time researcher position in the
Security of Software (SOS) Lab at Penn State
(https://urldefense.com/v3/__http://www.cse.psu.edu/*gxt29/sos/__;fg!!IBzWLUs!RYOWZuaQcpPZs5tAjfC3xP-6SKoVVq1uiArz9TooEfQmAuDuC-WCqe27QEgvI7pJd1PLP5aWxftvew_3uWYERNGgbP-bOw$ ).  The researcher will be
appointed as either an assistant research professor or a postdoctoral
researcher, depending on experience. The SOS Lab focuses on
methodologies that help create secure software systems.  We are
seeking a highly qualified individual to work in the area of software
security, especially on topics including probabilistic program
verification, compiler-based software security, program analysis and
hardening. An applicant should possess a doctoral degree in Computer
Science or Computer Engineering and have strong background in computer
security, programming languages, or formal methods.  The candidate
must have an excellent track record of original research and the
ability to work as part of a team.

The researcher will be provided with competitive salary and employment
benefits. The initial appointment will be for one year, with an option
to renew for additional years.

Inquiries about the position should be directed to Dr. Gary Tan
(gtan at psu.edu).  Applicants should send a resume with at least two
names of references. Applications will be reviewed until the position
is filled.

Penn State is a major research university ranked 3rd in U.S.  in
industry-sponsored research.  The CSE department is ranked 8th in
U.S. in research expenditures and has strong research programs in
security.  The U.S. News and World Report consistently ranks Penn
State's College of Engineering undergraduate and graduate programs
among the top in the nation.



G. Gary Tan, Professor
Penn State CSE and ICDS
Co-Director of Institute of Networking Security and Research<https://urldefense.com/v3/__https://insr.psu.edu/__;!!IBzWLUs!RYOWZuaQcpPZs5tAjfC3xP-6SKoVVq1uiArz9TooEfQmAuDuC-WCqe27QEgvI7pJd1PLP5aWxftvew_3uWYERNGnCKwdMw$ >
https://urldefense.com/v3/__http://www.cse.psu.edu/*gxt29__;fg!!IBzWLUs!RYOWZuaQcpPZs5tAjfC3xP-6SKoVVq1uiArz9TooEfQmAuDuC-WCqe27QEgvI7pJd1PLP5aWxftvew_3uWYERNFUstvpaw$ 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240330/2de7712b/attachment.htm>