Postdoctoral Researcher - Language-Based Security

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. **This position is part of a bargaining unit and is represented by the union SEIU, Local 200United.**