2 game-computer 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 3 hours ago

behavior of programs at a high level. Automata theory — to manipulate logical formulas and domain representations. Two-player games — to reason about strategies and synthesized programs. The work involves

PhD Position on Generative AI in Cultural and Creative Domains

Chalmers University of Technology | Sweden | about 3 hours ago

Computational Arts, Music, and Games within the DSAI division. About the research project This position is related to investigating learned cultural representations in data search spaces of generative AI models