Sort by
Refine Your Search
-
Category
-
Field
-
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
-
correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools
-
doctoral degree Verification of parental leave, sick leave or military service, if relevant Documents verifying awards and recognitions stated in your CV, leadership or teaching activities, etc, and other
-
(Assistant Professors only) Verification of parental leave/sick leave/military service, if applicable Proof of awards, leadership, teaching activities, and other relevant merits Up to five publications not