Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
. Of particular interest is the investigation of compositional methods for constructing runtime monitors. The candidate will build on the latest advances in formal methods and learning theory, to develop methods
-
planning -Semantic-based Exploration -Source localization -Perception in sensor-degraded environments: -Localization in smoke and dust filled environments -Scene awareness -Biometric/triage evaluations, etc
-
. -Machine learning code generation for autonomous translation of payload data semantics. -Dictionary learning and algorithms for translation between major data modeling languages. -Model-based System
-
, symbolic, and human intelligence, as well as industry-scale reasoning systems. Instances of the former class are different variants of formal argumentation, whereas in the latter case, the focus can lie on
-
that all relevant documents are in English. Assessment Candidates will be assessed based on the following criteria: formal qualification requirements for admission into the PhD program. Quality
-
or equivalent in a relevant electrical engineering or applied physics discipline with focus on microwave engineering. In addition to the formal qualifications, selection is also based on the performance
-
. The position is placed in the Division for Computer Networks and Systems and is formally employed by Chalmers University of Technology. Our research spans from theoretical computer science to applied systems
-
formal career age requirements, the position is aimed for career development for a research career and merits will be considered in the light of the career age. Assessment criteria and other qualifications
-
Infection Biology at the Department of Biology. Qualification requirements Applicants must have: A PhD in ecology or another relevant field Very good oral and written proficiency in English Formal training in
-
with the following background and qualifications: Formal requirements • A second-cycle qualification, or a minimum of four years of full-time study of which a minimum of one year at second-cycle, in