Sort by
Refine Your Search
-
logical coherence in the formulation of the aim and the research questions stringency of legal reasoning and analysis adequate selection of methods and theory capacity for creativity and innovation in
-
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
-
about Automated Reasoning'. From a fundamental research perspective, this relates to the automation of meta-reasoning pertaining to general-purpose reasoning methods. Here, the intended focus is on
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions