Postdoctoral Researcher - Language- Security Job Syracuse area,City of Syracuse New York USA,Research/Development

Position: Postdoctoral Researcher - Language-Based Security
Location: City of Syracuse

Job Description

Prof. Kristopher Micinski at Syracuse University (SU), in Syracuse, NY is seeking a Postdoctoral Researcher to work in the area of language-based security, utilizing a variety of approaches, including security type systems, static/dynamic analysis for security properties, and information flow (especially its static and dynamic enforcement). Prof. Micinski’s work is primarily focused on automated reasoning, with applications to static/dynamic analysis of security properties of programs.

The successful candidate will join Prof. Kristopher Micinski’s research group in the Department of Electrical Engineering and Computer Science. This postdoctoral position is available in Fall 2025.

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 and external academic and industry collaborators.

Responsibilities

The Postdoctoral Researcher will carry out basic and applied research to support sponsored projects and prepare research papers for publication, mentor graduate and undergraduate students on different projects, collaborate and submit research proposals to funding agencies, and work with researchers from multiple disciplines across campus as well as internal and external academic and industry collaborators.

Allocate time evenly between two projects:
Assemblage, a project on large‑scale binary analysis combining reasoning techniques from programming languages, machine learning, and symbolic AI for security; and an NSF PPoSS Large project that involves scaling automated reasoning and declarative languages on modern hardware, including GPUs, servers, and supercomputing clusters. Additional projects may include declarative decompilation, type systems or static analysis for relational or security properties, and semantic binary similarity matching.

Application

Instructions

In addition to completing an online application, please attach a curriculum vitae and cover letter.

Equal Employment Opportunity Statement

Syracuse University is an equal‑opportunity institution. The University prohibits discrimination and harassment based on race, color, creed, religion, sex, gender, national origin, citizenship, ethnicity, marital status, age, disability, sexual orientation, gender identity and gender expression, veteran status, or any other status protected by applicable law to the extent prohibited by law. This nondiscrimination policy covers admissions, employment, and access to and treatment in University programs, services, and activities.

#J-18808-Ljbffr