4 software-verification-postdoc "https:" Postdoctoral scholarships

Sort by: relevance | listed |

Enter an email to receive alerts for software-verification-postdoc "https:" positions

Postdoc in AI for cybersecurity of communication software

Linköping University | Linköping, Östergötland | Sweden | about 1 month ago

Postdoc in AI for cybersecurity of communication software Linkoping Reference number IDA-2026-00101 We have the power of over 50,000 students and co-workers. Students who provide hope for the future
Postdoc: Networked Systems Abstractions Lab (LASeR)

EPFL | Lausanne, Canton de Vaud | Switzerland | 11 days ago

18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc: Networked Systems Abstractions Lab (LASeR) Mission The EPFL Networked Systems
Two Postdocs in Programming Languages

Chalmers University of Technology | Gothenburg, Nebraska | United States | 2 months ago

Two Postdocs in Programming Languages Reference number REF 2026-0339 Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers
Postdocs to lead activities on Trustworthy AI Foundation Models for Power Systems and Artificial General Intelligence for Power System Control - DTU Wind

Technical University of Denmark | United States | about 1 month ago

part of a world leading research environment and contribute to the development for the next generation machine learning tools for power systems. One Postdoc will be involved in the newly funded project

Enter an email to receive alerts for software-verification-postdoc "https:" positions