2 complex-structure PhD positions at Chalmers University of Technology

Up to two PhD positions at the intersection of Formal Verification and Planning

Chalmers University of Technology | Sweden | about 17 hours ago

for reactive synthesis. This allows us to describe dynamic behaviors in complex environments over time. You will work with formal tools such as: Planning domains and temporal logic — to describe the required

PhD Student Position in Generative AI

Chalmers University of Technology | Sweden | about 17 hours ago

-resolution 3D microstructures from microscopy data Learn meaningful representations of complex material structures The work contributes to both scientific understanding and sustainable industrial innovation