2 knowledge-representation PhD positions at Chalmers University of Technology in sweden

PhD Position on Generative AI in Cultural and Creative Domains

Chalmers University of Technology | Sweden | about 17 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

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

Chalmers University of Technology | Sweden | 16 days 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