As determined by principal investigator.
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.
About Syracuse University
Syracuse University is a place where talent, desire, and opportunity thrive. In 12 different schools and colleges that span the liberal arts and professional disciplines, students, faculty, and staff from diverse backgrounds come together to learn, create, and break boundaries. The University is also a vital part of the community, providing services as well as being a leader in employee benefits, work-life and organizational development, training, student employment, staff relations, and workforce diversity. Syracuse itself is located at the crossroads of New York State, and offers a lush landscape of seasons. From fun-filled summers in the Finger Lakes to snowy winters that thrill outdoor sports enthusiasts, the area truly has something for everyone.
Connections working at Syracuse University...Exotics/Small Animal Veterinarian - Animal Blessings Pet Hospital - Missoula, MT Animal Blessings Pet Hospital in Missoula, Montana, is committed to providing exceptional veterinary care with a focus on compassion, integrity, and personalized service. Our dedicated...
...market. ~ Comprehensive employee benefits package designed specifically for high earning physicians and we cover up to 100% of your healthcare premiums, even for large families. ~ Lighter administrative burden and schedule flexibility . You can focus on providing...
...Project Manager / Business Analyst with extensive Payment Services / Banking project experience This is a long term contract that must be... ...with network participants and their assigned account executive to plan, schedule, and complete required certification work including...
...Job Description Job Description Benefits: ~401(k)~ Health insurance ~ Paid time off We are seeking a skilled Elevator interior fabricator to join our team. This role requires a commitment to maintaining high standards of safety and quality. Skills...
...Title: Contract Quality Systems Manager Pay Rate: $ 60.00 to $ 65.00/ Hr on W2 Location : Exton, PA (Hybrid Role) Duration : 12 +Months This position is responsible for maintaining and improving Quality Systems for to ensure on-going compliance to applicable...