2 proof-checking-postdoc-computer-science-logic PhD positions at University of Warwick; in United Kingdom
-
verification of resilient state estimators for the eVTOL and HESS. Essential and Desirable Criteria - Background: control/mechanical/electrical engineering, physics or computer science - Essential knowledge
-
Discipline: Engineering & Technology, Materials Science, Mechanical Engineering Qualification: Doctor of Philosophy in Engineering (PhD) This project is a collaborative research effort between
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions