Postdoctoral Researcher - Language-Based Security
Postdoctoral Researcher - Language-Based Security
Employer Active
Job Alert
You will be updated with latest job alerts via email
Share
Job Alert
You will be updated with latest job alerts via email
Not Disclosed
Salary Not Disclosed
1 Vacancy
Job Description
Prof. Kristopher Micinski at Syracuse University (SU) in Syracuse NY is seeking a Postdoctoral Researcher to work in the area of languagebased 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. Micinskis 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 Micinskis research group in the Department of Electrical Engineering and Computer Science. This postdoctoral position is available in Fall 2025.
Responsibilities
The Postdoctoral Researcher will carry out basic and applied research to support sponsored projects and prepare research papers for publication. In addition to the primary research duties the Postdoctoral Researcher will also 1 mentor graduate and undergraduate students working on different projects; 2 collaborate and participate in submitting research proposals to funding agencies; and 3 work with researchers from multiple disciplines across campus as well as internal (SU) and external academic and industry collaborators. The Postdoctoral Researcher will split their time half and half between two projects. The first project is Assemblage (https://assemblagedataset/ a project on largescale binary analysis using a mix of reasoning techniques from programming languages (with collaborations in machine learning and symbolic AI) for security. The second project is an NSF PPoSS Large which involves scaling automated reasoning and declarative languages on modern hardware including GPUs servers and supercomputing clusters. The candidate is expected to dedicate roughly half their time collaborating directly with and mentoring Dr. Micinskis PhD students on these projects; the other half of the time will be spent collaborating on projects that fall within the scope of the mutual interests of the Postdoctoral Researcher Dr. Micinski and the two sponsored projects listed above. Example projects include (but are not limited to) declarative (de)compilation type systems / static analysis for relational or security properties and semantic binary similarity matching.
Qualifications
Doctoral degree in Computer Science. Exceptional candidates from other fields are also welcome to apply.
Employment Type
Full Time
