Postdoc in Formal Methods, Programming Languages, and Security at Cornell University Cornell University in United States

Funded PhD opportunity in Software Engineering at the University of Nevada, Las Vegas (UNLV), starting in Fall 2027 . The position is in the Software Evolution (EVOL) Lab and focuses on software evolution , software integration , empirical software engineering , and AI-assisted software engineering . A growing part of the research explores intelligent tools and techniques that help developers work more effectively and dependably with LLMs and coding agents . The opening is supported by an NSF CA...

EPFL is advertising a postdoc in the Networked Systems Abstractions Lab (LASeR) led by Nate Foster. The position is aimed at candidates with expertise in programming languages (PL) , formal methods (FM) , and/or networked systems , with an interest in contributing to both research and teaching in a growing lab. This opportunity is based at École Polytechnique Fédérale de Lausanne (EPFL) in Switzerland . The post is shared by Nate Foster, who states that he is hiring and asks that it be shared br...

Kennesaw State University is recruiting a Ph.D. student in Computer Science for Spring 2027, with research centered on security and privacy . The advertised topics include mobile security , web security , crowdsourcing , and AI-driven systems . This is a strong fit for students interested in applied and systems-oriented research in computing. The position is being announced by Anhao Xiang , Assistant Professor of Information Technology at Kennesaw State University. The post indicates that highly...

University of California, Riverside is advertising a postdoctoral scholar opening in cybersecurity within Computer Science & Engineering. The research areas mentioned include static analysis , systems security , and AI for security , making this a strong fit for candidates with backgrounds in computer science , security research, software analysis, and related areas. The post is shared by Zhiyun Qian , Everett and Imogene Ross Professor at UCR, who is the academic contact/owner of the opening. T...

The University of Rhode Island is promoting a Postdoctoral Fellow opportunity in cyber security for its interdisciplinary research team. The role is a professional staff, non-union, non-classified position and is aimed at candidates who want to contribute to cutting-edge work addressing current cyber security challenges. This post is relevant for researchers with a background in computer science and related areas such as information technology . The announcement emphasizes collaboration across d...