Postdoctoral Scholar in Computer Science & Engineering FY26-27 University of California, Riverside in United States

Amir Shaikhha, Full Professor at TU Darmstadt , is hiring for postdoc and PhD opportunities in AI Systems / AI Hardware . The post specifically highlights candidates with a Ph.D. and a strong research background in programming languages , compilers , database systems , or computer architecture . This is a strong fit for applicants interested in systems research at the intersection of AI infrastructure, hardware-aware computing, and efficient software systems. Institution: TU Darmstadt, Germany. ...

The University of Southern Denmark invites applications for a two-year postdoctoral researcher position in the Software Engineering section of the Maersk Mc-Kinney Moller Institute in Odense, Denmark. The project is part of the VILLUM Experiment project “Is Correctness Necessary? An Experiment in Test-Free Program Repair” . The research addresses a central challenge in modern software engineering: large language models and AI coding assistants can generate and modify software rapidly, while esta...

This position is a Research Associate role in the Systems Software Research Group at Virginia Tech’s Bradley Department of Electrical and Computer Engineering. The work focuses on program analysis aimed at building efficient and scalable tools for reasoning about binary security properties . The successful candidate will join a systems software research environment that sits within a major research university and will contribute to research on software security tooling. The project description e...

Alexandra Silva, Professor at Cornell University, is looking for a postdoctoral researcher to join her group. The position is centered on formal methods , programming languages , algebraic program analysis , and program repair , with a particular interest in applying these techniques to networks and security . The post specifically highlights interest in agentic systems , especially multi-agent systems . This is a strong fit for candidates with a background in computer science and related areas ...

Postdoctoral Scholar in Informatics and Applied Cognition at Pennsylvania State University (University Park, United States). This full-time postdoctoral opening is in the Informatics and Intelligent Systems Department and is supervised by Teaching Professor Robert Thomson . The project focuses on informatics , applied cognition , cognitive models , and the development/generalization of models that integrate analyses to capture expert behavior and strategies for vulnerability analysis. The schola...