-
developing synthesis and verification techniques based on, e.g., model checking combined with machine learning, to facilitate guaranteeing safety and security of industrial autonomous systems. The employment
-
leave, and holidays Winter closure in December, subject to institutional approval Tuition reimbursement program available to eligible employees and their dependents for approved coursework, subject to
-
environment. Recruit, interview, hire, train, coach, evaluate, and discipline staff. Establish and communicate performance expectations in a manner that motivates and empowers staff to fulfill job duties
Searches related to model checking
Enter an email to receive alerts for model-checking "Fields Institute" positions