<div dir="ltr"><div><div><div><div><div>Hi,<br><br></div>As a result of recent funding 
awards, I expect to be able to advertise two postdoctoral positions and a
 PhD position at the Laboratory for Foundations of Computer Science, 
University of Edinburgh in the near future:<br><br></div>* The first 
postdoc position will be advertised early in January to start  as soon 
as possible (in practice, this likely means February 2016 at the 
absolute earliest; I'd prefer to have someone by March or April if 
possible).<br><br></div><div>The position will require a mix of research
 and development skills, to contribute to the development of a system 
for processing and analyzing provenance graph data in order to identify 
and mitigate advanced persistent threat attacks.  Preferred programming 
languages among other project members include Haskell, Scala and 
Python.  Experience with graph databases such as Titan/Cassandra or the 
Gremlin query language would be a big plus.<br><br></div><div>I would 
like to hire someone to work on this project whose research dovetails 
well with the development needed for the project.  This could mean a 
systems-oriented PL researcher interested in gaining experience with 
graph databases, provenance or security, or a researcher in one of these
 areas interested in gaining experience with PL.<br></div><div><br></div>This
 position is part of the ADAPT project (A Diagnostics Approach for 
Advanced Persistent Threat Detection) funded by the DARPA Transparent 
Computing Program.  The other partners in ADAPT are Galois, Inc., Xerox 
PARC, and Oregon State University.  The funding is secure until June 
2017 and funding after that point is contingent on continuation of the 
project by DARPA, until the program ends in June 2019.<br><br></div>* 
The second postdoc and PhD studentship position will be advertised later
 in 2016 for a start date of mid-to-late 2016.  Both will be part of the
 ERC-funded project "Skye: A programming language bridging theory and 
practice for scientific data curation".  <br><br>Relevant 
topics/background include heterogeneous metaprogramming, 
language-integrated query, and scientific data management and 
provenance.  <br><br>Both positions will have funding for up to 4 years in the period 2016-2021 (pending finalization of the grant agreement).</div><div><br></div><div>This
 message does not constitute a formal advertisement of an employment 
opportunity; formal advertisements will follow when the details are 
finalized.  Please contact me if interested in any of these 
opportunities or with any questions about the projects, and research 
environment, and preferably including a CV and summary of your research 
interests and how they relate to the position(s) you are interested in.<div class=""><div id=":kg" class="" tabindex="0"><img class="" src="https://ssl.gstatic.com/ui/v1/icons/mail/images/cleardot.gif"></div></div><span class=""><font color="#888888"></font></span></div><span class=""><font color="#888888"><div></div>--James</font></span></div>