PhD Position in Formal Languages, Category Theory, and Type Theory Delft University of Technology in Netherlands

Technische Universität Dresden (TU Dresden) is advertising a Research Associate / PhD Student / PostDoc position at the Faculty of Computer Science, Institute of Artificial Intelligence, Chair of Computational Logic . The role is part of the Collaborative Research Center (SFB)/Transregio 248 “Foundations of Perspicuous Software Systems” and focuses on computer science , theoretical computer science , knowledge representation , logic , description logic , ontology languages , and standpoint logic...

Postdoctoral research position at Delft University of Technology (TU Delft) in the Programming Languages group , Department of Software Technology, working on the interface between category theory , computer proof assistants , and computer algebra systems . The project aims to connect a proof assistant such as Rocq, Lean, or Agda with CAP (Categories, Algorithms, Programming) , a software system for computational category theory implemented in GAP and part of the homalg project. The goal is to m...

Research Fellow opportunity in Computer Science at the University of Birmingham This post is based in the School of Computer Science at the University of Birmingham (Edgbaston, Birmingham, UK) and supports the project “New algebraic structures for computational effects” led by Dr Paul Levy . The research focuses on categorical and denotational semantics , computational effects , especially stateful effects , and polymorphism in effectful languages . The project also involves categorical structur...

Vrije Universiteit Amsterdam is advertising a PhD position in Formal Methods for Concurrent Cryptographic Protocols in the Department of Computer Science, Faculty of Science, in the Netherlands. This opportunity is centered on computer science , with strong relevance to formal methods , cryptographic protocols , concurrency , and security and privacy . The department highlights research across AI & Data, Systems & Infrastructure, Software, Security & Privacy, and Theory of Computation, making th...

PhD position at Delft University of Technology (TU Delft) in the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS). The project is titled “6G-Native Distributed Intelligence for Physical AI” and sits within the Dutch Future Network Services (FNS) flagship project. The research focuses on 6G , distributed intelligence , AI/ML , edge computing , cloud computing , and resource-aware network orchestration for Physical AI . Topics include collaborative and split inference, a...