Postdoctoral Researcher: Language-Based Security

Syracuse University; City of Syracuse (NY); On-site; USD 60,450 - 65,000; Full time

Job summary

Syracuse University in Syracuse, NY invites applications for a Postdoctoral Researcher to work in language-based security under Prof. Kristopher Micinski in the Department of Electrical Engineering and Computer Science.

The position is on-campus with regular in-person collaboration and mentoring of graduate and undergraduate students. The successful candidate will explore security type systems, static/dynamic analysis, and information flow, and will split time across two projects Assemblage and

Qualifications

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

Responsibilities

• 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 industry collaborators.

Skills

Academic publishing

Security research

Interactive proof assistants

Interdisciplinary collaboration

Education

PhD in Computer Science

Tools

Lean

Coq

Agda

Job description

Syracuse University in Syracuse, NY invites applications for a Postdoctoral Researcher to work in language-based security under Prof. Kristopher Micinski in the Department of Electrical Engineering and Computer Science.

The position is on-campus with regular in-person collaboration and mentoring of graduate and undergraduate students. The successful candidate will explore security type systems, static/dynamic analysis, and information flow, and will split time across two projects Assemblage and