[TYPES/announce] Postdoc opportunity at Carnegie Mellon University

[Jean Yang]

Hi everyone,

  We are looking for a postdoc! Please spread the word.

Best,
Jean

--
Postdoc Opportunity at Carnegie Mellon University

We are looking for a postdoctoral researcher or research engineer to work
with Professors Jean Yang <https://www.cs.cmu.edu/~jyang2/>, Matt Fredrikson
<https://www.cs.cmu.edu/~mfredrik/>, and Jian Ma
<http://www.cs.cmu.edu/~jianma/> in the School of Computer Science at
Carnegie Mellon University.

The project involves applying ideas from policy-agnostic programming
<http://jeeveslang.org/> to securing health records in a realistic setting,
in collaboration with the University of Pittsburgh Medical Center. There
are two potential directions to explore: 1) system-level issues of applying
these ideas to a production system and 2) verification questions that arise
when ensuring compliance with legal policies. We are particularly
interested in applicants with strong backgrounds in either software
systems, or programming languages and verification. Experience working in
security and privacy is preferred but not required.

The initial appointment of the position is for one year, with high
likelihood of renewal for additional years. Directions of exploration for
future years include, but are not limited to, statistical privacy and
genomic privacy. There may also be entrepreneurship opportunities relevant
to these ideas.

Please send your CV, a brief description of your interests, and contact
information of three references to Jean Yang (jyang2 [at] cs [dot] cmu
[dot] edu). Feel free to email Dr. Yang with questions.

Those curious about what Pittsburgh is like may be interested in reading this
article
<https://www.nytimes.com/2017/07/22/style/pittsburgh-tech-makeover.html?_r=0>
about
Pittsburgh's tech article and this article
<https://www.nytimes.com/2017/04/12/travel/pittsburgh-pennsylvania-rust-belt-arts-culture-budget-travel.html>
about
culture in Pittsburgh.

*Link: *http://www.cs.cmu.edu/~jyang2/opportunities/cmlh_postdoc2017.html

-- 
Jean Yang
Assistant Professor, Computer Science Department
Carnegie Mellon University
jeanyang.com | @jeanqasaur <http://twitter.com/jeanqasaur>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20170726/17aa985b/attachment-0001.html>