Sort by
Refine Your Search
-
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
-
Your duties will be to plan and execute virological research. You will be part of a multidisciplinary team, but you will also have to work independently. Your profile Formal requirements: PhD in
-
, 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
-
the formulation of the research questions and approaches linguistic comprehensibility and formal aspects Appointment Procedure The application should be submitted through Varbi Lund University job application
-
documentation is in English. Assessment The following criteria constitute the basis of assessment applied in the selection: Meeting the formal qualification requirements for admission into the PhD programme. The
-
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
-
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
-
application! We are looking for a PhD student in Visualization Technology and Methodology with a focus on interactive visualization, visual learning, science communication, and educational science, formally
-
. 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
-
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