Postdoctoral Researcher - Language- Security
Listed on 2026-01-17
-
Research/Development
Research Scientist, Postdoctoral Research Fellow
Location: City of Syracuse
Postdoctoral Researcher - Language-Based Security
Job Title:
Postdoctoral Researcher - Language-Based Security
Location:
Syracuse, NY
Pay Range: $60,450 - $65,000
Syracuse University offers competitive salaries based on education, experience, and relevant skills. Salary offers may also be influenced by prior relevant work or industry experience.
Job Type: Full-time
Job Description:
Prof. Kristopher Micinski at Syracuse University is seeking a Postdoctoral Researcher to work in the area of language-based security. The successful candidate will join Prof. Micinski’s research group in the Department of Electrical Engineering and Computer Science.
Qualifications:
Doctoral degree in Computer Science. Exceptional candidates from other fields are also welcome to apply.
- 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 meta theory 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.
Responsibilities:
The Postdoctoral Researcher will carry out basic and applied research to support sponsored projects and prepare research papers for publication. The Postdoctoral Researcher will also mentor graduate and undergraduate students, collaborate and participate in submitting research proposals, and work with researchers from multiple disciplines.
The Postdoctoral Researcher will split their time between two projects:
Assemblage, a project on large-scale binary analysis using a mix of reasoning techniques from programming languages, and an NSF PPoSS Large project, which involves scaling automated reasoning and declarative languages on modern hardware.
EEO 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.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).