The project involves applying ideas from policy-agnostic programming 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. We posted this opening on July 26, 2017 and we will consider candidates until the position is filled.