"Postdoctoral Researcher - Language-Based Security"

Postdoctoral Researcher - Language-Based Security

Job #: 078172

Location: Syracuse, NY

Pay Range: $60,450 - $65,000

Hours: As determined by principal investigator.

Job Type: Full-time

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 (but not limited to) 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.

Posted: 14-Dec-25

Categories: Academic/Faculty, Physical Sciences

Internal Number: 5867796

To apply, visit https://www.sujobopps.com/postings/107735