Postdoctoral Researcher - Language-Based Security

About the role

The Postdoctoral Researcher will carry out basic and applied research to support sponsored projects and prepare research papers for publication. In addition to the primary research duties, the Postdoctoral Researcher will also (1) mentor graduate and undergraduate students working on different projects; (2) collaborate and participate in submitting research proposals to funding agencies; and (3) work with researchers from multiple disciplines across campus as well as internal (SU) and external academic and industry collaborators.

This position is part of a bargaining unit and is represented by the union SEIU, Local 200United.

Responsibilities

• Carry out basic and applied research to support sponsored projects and prepare research papers for publication.
• Mentor graduate and undergraduate students working on different projects.
• Collaborate and participate in submitting research proposals to funding agencies.
• Work with researchers from multiple disciplines across campus as well as internal (SU) and external academic and industry collaborators.
• Split their time half and half between two projects:
• The first project is Assemblage (https://assemblage-dataset.net/), a project on large-scale binary analysis using a mix of reasoning techniques from programming languages (with collaborations in machine learning and symbolic AI) for security.
• The second project is an NSF PPoSS Large, which involves scaling automated reasoning and declarative languages on modern hardware, including GPUs, servers, and supercomputing clusters.

Qualifications

• Doctoral degree in Computer Science.
• Exceptional candidates from other fields are also welcome to apply.

Job Specific Qualifications

• Proven track record of publishing at competitive venues in programming languages, security, or a related field with applications to computer security.
• Experience with the design of static / dynamic enforcement mechanisms for information flow (or similar security-relevant) and similar relational properties.
• Experience with the usage of interactive proof assistants (such as Lean, Coq, or Agda) in formalizing metatheory for security-relevant properties of programming languages.
• Highly motivated to work with an interdisciplinary team of students as well as internal (SU) and external academic and industry collaborators.