Job Details

Postdoctoral Researcher - Language-Based Security
Go to our website »

Position Number: 5867800
Location: Syracuse, NY
Position Type: Science - Computer Science

Postdoctoral Researcher - Language-Based Security

Job #: 078172
Location Syracuse, NY
Pay Range: $60,450 - $65,000
Hours: As determined by principal investigator.
Job Type: Full-time

Job Description:
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.

Qualifications:
Doctoral degree in Computer Science. Exceptional candidates from other fields are also welcome to apply.

Job Specific Qualifications:
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) and similar relational properties. Experience with the usage 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:
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://assemblage-dataset.net/), a project on large-scale 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. Micinski's 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.

About Syracuse University:
Syracuse University is a private, international research university with distinctive academics, diversely unique offerings and an undeniable spirit. Located in the geographic heart of New York State, with a global footprint, and nearly 150 years of history, Syracuse University offers a quintessential college experience.

The scope of Syracuse University is a testament to its strengths: a pioneering history dating back to 1870; a choice of more than 200 majors and 100 minors offered through 13 schools and colleges; nearly 15,000 undergraduates and 5,000 graduate students; more than a quarter of a million alumni in 160 countries; and a student population from all 50 U.S. states and 123 countries. For more information, please visit www.syracuse.edu.

About the Syracuse area:
Syracuse is a medium-sized city situated in the geographic center of New York State approximately 250 miles northwest of New York City. The metro-area population totals approximately 500,000. The area offers a low cost of living and provides many social, cultural, and recreational options, including parks, museums, festivals, professional regional theater, and premier shopping venues. Syracuse and Central New York present a wide range of seasonal recreation and attractions ranging from water skiing and snow skiing, hiking in the Adirondacks, touring the historic sites, visiting wineries along the Finger Lakes, and biking on trails along the Erie Canal.

Application Deadline:
Full Consideration By:
Open Until Filled: Yes
Priority Consideration:

To apply, visit https://www.sujobopps.com/postings/107770

Syracuse University is an equal-opportunity, affirmative-action 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.

Syracuse University has a long history of engaging veterans and the military-connected community through its educational programs, community outreach, and employment programs. After World War II, Syracuse University welcomed more than 10,000 returning veterans to our campus, and those veterans literally transformed Syracuse University into the national research institution it is today. The University's contemporary commitment to veterans builds on this historical legacy, and extends to both class-leading initiatives focused on making an SU degree accessible and affordable to the post-9/11 generation of veterans, and also programs designed to position Syracuse University as the employer of choice for military veterans, members of the Guard and Reserve, and military family members.

Syracuse University maintains an inclusive learning environment in which students, faculty, administrators, staff, curriculum, social activities, governance, and all other aspects of campus life reflect a diverse, multi-cultural, and international worldview. The University community recognizes and values the many similarities and differences among individuals and groups. At Syracuse, we are committed to preparing students to understand, live among, appreciate, and work in an inherently diverse country and world made up of people with different ethnic and racial backgrounds, military backgrounds, religious beliefs, socio-economic status, cultural traditions, abilities, sexual orientations and gender identities. To do so, we commit ourselves to promoting a community that celebrates and models the principles of diversity and inclusivity.