Position Overview Postdoctoral Researcher – Language-Based Security at Syracuse University, Department of Electrical Engineering & Computer Science. Posting Details Job # 078172 Location: Syracuse, NY Salary: $60,450 – $65,000 Full‑time, Exempt Commencement: Fall 2025 Job Description Professor Kristopher Micinski at Syracuse University is seeking a Postdoctoral Researcher to conduct research in the area of language-based security, utilizing a variety of approaches including security type systems, static/dynamic analysis for security properties, and information flow (especially its static and dynamic enforcement). The successful candidate will join Prof. Micinski’s research group in the Department of Electrical Engineering and Computer Science. Qualifications Doctoral degree in Computer Science (exceptional candidates from other fields are welcomed). Proven track record of publishing at competitive venues in programming languages, security, or a related field with applications to computer security. Experience with the design of static/dynamic enforcement mechanisms for information flow or similar security‑relevant relational properties. Experience with the use of interactive proof assistants (such as Lean, Coq, or Agda) in formalizing metatheory for security‑relevant properties of programming languages. Highly motivated to work with an interdisciplinary team of students as well as internal (SU) and external academic and industry collaborators. Responsibilities Carry out basic and applied research to support sponsored projects and prepare research papers for publication. Mentor graduate and undergraduate students on different projects. Collaborate and participate in submitting research proposals to funding agencies. Work with researchers from multiple disciplines across campus and external collaborators. Split time equally between two projects: Assemblage (a large‑scale binary analysis project) and the NSF PPoSS Large project, which involves scaling automated reasoning and declarative languages on modern hardware. Dedicate roughly half the time deciding on projects that fall within the mutual interests of the Postdoctoral Researcher, Prof. Micinski, and the two sponsored projects. Application Instructions Complete an online application and attach a curriculum vitae and cover letter. EEO Statement Syracuse University is an equal‑opportunity institution. The University prohibits discrimination and harassment based on race, color, creed, religion, sex, gender, national origin, citizenship, ethnicity, marital status, age, disability, sexual orientation, gender identity and gender expression, veteran status, or any other status protected by applicable law to the extent prohibited by law. This nondiscrimination policy covers admissions, employment, and access to and treatment in University programs, services, and activities. #J-18808-Ljbffr Byrne Dairy
...Gambuzza's Barbershop Round Rock Join Our Team at Gambuzza's Barbershop Round Rock! Are you a passionate barber or hair stylist (cosmetologist), looking for a career, not just a job? Gambuzza's Barbershop is hiring for our Round Rock location, and we want YOU to...
...Description The Impact You Can Make The Registered Nurse is accountable for management and... ...Excellent Benefits and Earned Time Off (ETO) accrual for Vacation, Personal... ...competitive benefits offerings, as it is a core part of providing a strong overall employee experience...
...If you want to be part of an inclusive, adaptable, and forward-thinking organization, apply now. We are currently seeking a Tableau Administrator with AWS - REMOTE to join our team in Mclean, Virginia (US-VA), United States (US). We are seeking a skilled Tableau...
...Job Description Job Description Description About the Role Were looking for a Creative Content Designer to join our in-house creative team and help bring our brands to life across digital and physical channels. This is a design-forward role focused on creating...
...core services include: Environmental Services, Patient Transportation, Patient Observation, Healthcare Facilities Management, Sterile Processing Services, and Ambulatory... ...: Working as the Regional Patient Experience Manager, you are responsible for managing, coordinating...