[TYPES/announce] Several postdoc positions at Cornell and UCL

[Alexandra Silva]

Dear all,

We invite applications for postdoctoral researchers at Cornell
University and University College London in the areas of networking,
programming languages, and verification.
These positions are part of the NetKAT project, which seeks to develop
new language abstractions for controlling, managing, and securing
networks. The primary goal of our current work is to extend the
language to support quantitative and probabilistic reasoning. Support
for these positions is provided by the ERC-funded ProFoundNet project
and the NSF-funded project "AiTF: Algorithms and Probabilistic
Semantics for Next-Generation Networks," as well as gifts from Cisco,
Facebook, Google, and Fujitsu.

Applicants should hold a PhD in Computer Science and have a desire to
work in an interdisciplinary team. Prior knowledge of measure theory
is a plus but not required. Successful candidates will be provided
with opportunities for professional development and for exploring
ideas that expand the scope of the project. The positions are for one
year initially but may be extended to additional years.

To apply, please send a CV, research statement, and the names of three
references to Nate Foster (jnfoster at cs.cornell.edu), Dexter Kozen
(kozen at cs.cornell.edu), and Alexandra Silva
(alexandra.silva at ucl.ac.uk). We especially welcome applications from
women and members of under-represented minority groups.

Nate Foster (Cornell)
Dexter Kozen (Cornell)
Alexandra Silva (UCL)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20160111/85f1f5d1/attachment-0001.html>