[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 m...@cs.umd.edu and dvanh...@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.