• Postdoctoral Researcher - Language-Based Security

    Syracuse University (Syracuse, NY)


    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.