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 UniversityOverview Job Summary: The Medical Transcriptionist-Pathology transcribes medical dictation to provide a permanent record of patient... ...and FMO. Operates designated word processing, dictation, and transcription equipment as directed to complete assignments. Provides administrative...
...Job Description Project Manager - Water and Wastewater Roseville, CA We welcome you to consider Sanbell as the next step... ...foundational and cultural values, our team of engineers, planners, landscape architects, surveyors, and designers is now stronger. We are 20...
...through Evidence in Motion (EIM)- Unlimited CEUs ~ Orthopedic and Sports Residency programs through TexPTS Company paid a $15k Value... ...origin, age, disability, or genetics. In addition to federal law requirements, Confluent Health and TexPTS complies with applicable...
...about specials or new items, answering questions, and accepting orders and payments.Packaging food and beverages for sale.Selling coffee and tea blends and brewing equipment, highlighting the differences between items, and educating customers about brewing methods....
...IMT Insurance is now accepting applications for our Actuarial Internship position within our Research and Development Department for the Summer 2026 Internship Program! The Actuarial Intern will work with the Corporate Actuary team primarily as the role of a Reserving...