2 automative 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 | 6 days ago

the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical

PhD Student Position in Generative AI

Chalmers University of Technology | Sweden | about 11 hours ago

developing AI methods for automated microstructure analysis and 3D microstructure generation. By combining self-supervised learning and diffusion-based generative models, the goal is to: Reconstruct high