Sort by
Refine Your Search
-
Category
-
Employer
-
Field
-
7 industrial PhD students. During the course of the DDLS program more than 260 PhD students and 200 postdocs will be part of the Research School. The DDLS program has four strategic research areas
-
automated theorem provers and recently popularized for optimizing compilers and many other optimization tasks. We hypothesize that an e-graph would be an effective tool for discovering and encoding a large
-
, Internet of Things, Systems-of-Systems automation, Machine Learning, Deep Learning, Data Science, Electronic systems design, and sensor systems. Cyber-Physical Systems (CPS) focuses on integrated software
-
, Internet of Things, Systems-of-Systems automation, Machine Learning, Deep Learning, Data Science, Electronic systems design, and sensor systems. Cyber-Physical Systems (CPS) focuses on integrated software
-
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
-
, and control. WASP is a major national initiative for strategically motivated basic research, education and faculty recruitment. It is by far the largest individual research program in Sweden. Please see
-
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
-
position for candidates interested in interpretable AI, stochastic optimal control, deep learning and high-impact research in sustainable mobility. About us The position is located at the Systems and Control
-
are essential. Excellent work ethic and commitment to the job. Excellent command of English, both written and verbal. Interest in Swedish language and culture is welcome. During the assessment, emphasis will be
-
areas, engaging in both theoretical and experimental research in: Data-driven and learning based control - Data-driven adaptive motion planning - Cognitive reasoning, symbolic knowledge representation