Sort by
Refine Your Search
-
to conduct high-quality research and develop the skills necessary for an academic or industry research career. This includes: Conducting original research in formal methods and automated planning
-
educational programs in Computer Science, is now seeking a PhD student with a focus on symbolic AI. The Department of Computing Science has been growing rapidly in recent years, with a focus on creating an
-
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
-
, and communicate with external stakeholders. You are motivated to fully engage in research that is formally owned by others. Practical experience in the development of biochemical methods, cell culture
-
. 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