[TYPES/announce] Postdoc positions in PL and security at the University of Maryland, College Park

[Michael Hicks]

Postdoc position in PL and Security at the University of Maryland,
College Park

The Maryland Cybersecurity Center (MC2) and the Laboratory for
Programming Languages research at the University of Maryland (PLUM) have
1-2 open post-doctoral research positions. MC2 and PLUM are part of the
Computer Science Department and UMIACS at the University of Maryland,
College Park.

We are looking for a researcher interested in applying programming
languages techniques (of all kinds, from systems to theory) to reasoning
about security, privacy, and cryptography. The ideal candidate should
have a strong background in programming languages and compilers. Some
background or knowledge in security/cryptography is preferred. The
position will involve work on program analysis (static and/or dynamic)
and language design with the goal of ensuring various security
properties (such as privacy). Some of this work could include
exploration of exciting intersections of PL and cryptography.

We have one position open at the moment, and expect a second to open up
in the near future.

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: Feb 2015 or later
       • Duration: 1-3 years, depending on funding availability

Interested candidates should first send their CV to mwh at cs.umd.edu and
elaine at cs.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. For more information about
MC2 and PLUM, please visit http://www.cyber.umd.edu/ and
http://www.cs.umd.edu/projects/PL/.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 536 bytes
Desc: OpenPGP digital signature
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150129/37b71264/attachment.asc>