[TYPES/announce] Post-doc position in PL and Security at UMD

[Michael Hicks]

Postdoc position at the University of Maryland, College Park, USA.

We are looking for a *post-doctoral researcher* interested in applying
programming languages techniques to automatically *reason about resource
usage *and *side-channel information leaks* in software. The ideal candidate
should have a strong background in programming languages and compilers. The
position will involve work on *program analysis* (static and/or dynamic,
particularly *symbolic execution*) and language design with the goal of
ensuring various properties related to resource usage and security.

Applicants to this position must have received their PhD, or completed the
requirements for their PhD, when the appointment begins.

       • Applications will be accepted until the position is filled.
       • Start date: May 2015 or later
       • Duration: 1-4 years, renewed annually depending on funding
         availability and performance.

Interested candidates should first send their CV to mwh at cs.umd.edu and
dvanhorn at s.umd.edu and, if requested, arrange to have two letters of
recommendation emailed to the same addresses. Questions about the
position may be sent to the same addresses.

The position is within the Maryland Cybersecurity Center (MC2) and the
Laboratory for Programming Languages research at the University of Maryland
(PLUM). MC2 and PLUM are part of the Computer Science Department and UMIACS
at the University of Maryland, College Park. For more information about MC2
and PLUM, please visit http://www.cyber.umd.edu/ and
http://www.cs.umd.edu/projects/PL/.

Founded in 1856, University of Maryland, College Park is the flagship
institution
in the University System of Maryland. Our 1,250-acre College Park campus is
just minutes away from Washington, D.C.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150403/0bb4cbca/attachment-0001.html>