4 semantic "https:" PhD positions in Sweden

PhD student focusing on Scalable Quantum Program Verification

Uppsala universitet | Sweden | 12 days ago

, programming language theory or semantics, logic, automata theory, automated theorem proving, and quantum computing. Rules governing PhD students are set out in the Higher Education Ordinance chapter 5, §§ 1-7

PhD Student in Robotics and Artificial Intelligence

Lulea University of Technology | Sweden | 2 months ago

- Multimodal Perception and Localization for Robots in Extreme Visibility Conditions - Source Localization and Hazard Assessment Using Multisensor Fusion. - Semantic-Based Exploration Strategies for High-Risk

Up to 2 PhD Positions in Programming Languages and Program Verification

Uppsala universitet | Sweden | 3 months ago

of the following: static and/or dynamic program analysis, programming language techniques (such as semantics, type systems, runtime systems, etc), formal verification, or software engineering

PhD Student in Robotics and Artificial Intelligence

Luleå tekniska universitet | Sweden | 3 months ago

- Multimodal Perception and Localization for Robots in Extreme Visibility Conditions - Source Localization and Hazard Assessment Using Multisensor Fusion. - Semantic-Based Exploration Strategies for High-Risk