[hofa] Fwd: [TYPES/announce] Postdoctoral position in program analysis and security at the University of Maryland, College Park

David Van Horn dvanhorn at ccs.neu.edu
Fri Oct 21 08:22:31 PDT 2011

-------- Original Message --------
Subject: [TYPES/announce] Postdoctoral position in program analysis and 
security at the University of Maryland, College Park
Date: Wed, 19 Oct 2011 16:07:32 -0400
From: Jeff Foster <jfoster at cs.umd.edu>
To: types-announce at lists.seas.upenn.edu

[ The Types Forum (announcements only),
      http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The programming languages group in the Department of Computer Science at 
the University of Maryland, College Park is offering a post doctoral 
position in language-based security, with an emphasis on static and 
dynamic analysis.


The aim of the project is to apply programming language-based techniques 
to improve the security of modern software.  Our focus is on software 
running on embedded devices, including Android mobile phones and 
distributed sensor networks.  While many aspects of security are in 
play, our core interest is developing novel and expressive protections 
of resource and data privacy, in particular by employing mechanisms to 
authorize, minimize, and audit (reason about) the flow of information 
between an application and its environment.

The work will include both theoretical development and implementation of 
practical tools.


Applicants to this position must have received their PhD, or completed 
the requirements for their PhD, when the appointment begins.  A strong 
background in at least two of the following research areas is desired 
(the more, the better!):

- Program analysis (with some background in abstract interpretation 
preferred), including those based on type systems
- Formal methods
- Software security
- Program transformation

We also expect that applicants to be good programmers, preferably in 
either Java or Objective Caml, and with some experience building 
non-trival software.  Some knowledge of Android development or sensor 
network programming would also be desirable, but is not required.

* Application deadline:  November 15, 2011 for full consideration.  The 
position will remain open until filled.

* Start date:  January 31, 2012 (at the earliest; negotiable)

* Duration:  1-2 years, depending on funding availability

Interested candidates should send their CV to mwh at cs.umd.edu and 
jfoster at cs.umd.edu and arrange to have two letters of recommendation 
emailed to the same addresses.

Additional information

Questions about this position should be directed to Jeff Foster 
(jfoster at cs.umd.edu) and Michael Hicks (mwh at cs.umd.edu).  For more 
information about the Maryland PL group, please visit


The University of Maryland is an equal opportunity, affirmative action 
employer.  Women and minorities are strongly encouraged to apply.

More information about the HOFA mailing list