Job Description

Carnegie Mellon University's CyLab is a bold and visionary effort, which establishes public-private partnerships to develop new technologies for measurable, secure, available, trustworthy, and sustainable computing and communications systems. CyLab is a world leader in both technological research and the education of professionals in information assurance, security technology, business and policy, as well as security awareness among cybercitizens of all ages.

CyLab, the Carnegie Mellon University Security and Privacy Institute, is looking for a Post-Doctoral Researcher is to carry out advanced independent and/or advised research to achieve the objectives of the research project. This position will require an in depth knowledge of a specialized field, process, or subject area and may involve coordinating and implementing complex research plans, the development of methods of research, analysis and evaluation, and writing reports which contain descriptive, analytical and evaluative content. The purpose of this role is to acquire the professional skills needed to pursue a career path of his or her choosing. This will involve defining solutions to ensure desirable correctness and security and privacy goals of software systems. On occasion this might also involve assisting in the preparation and presentation of technical presentations and papers. The main responsibility will be to apply formal methods to crafting and analyzing software systems to improve the security and reliability of these systems. Required skills include software engineering and formal methods. Desirable skills include, type theory, formal logic, program semantics, program analysis, and experience with information flow security.

Core responsibilities will include:

Develop new secure-by-construction methodologies within the predetermined application domain.
Develop new program analysis techniques for safety and security bugs.
Participate/assist in manuscript writing for publication in scientific journals and/or presentations. May also assist in grant writing.
Mentoring junior researchers in the research group, including undergraduate researchers and junior graduate students.
Other duties as assigned.
You should demonstrate:

Excellent problem-solving and reasoning skills
Excellent organization and planning skills
Qualifications:

Ph.D. in Computer Science, Electrical Engineering or Computer Engineering
5-8 years of Research Computing Experience
Are you interested in this opportunity? Please apply!