Sort by
Refine Your Search
-
Category
-
Employer
-
; probabilistic program logics; logical relations for relational reasoning about safety, liveness, and security properties; formal modeling of low-level capability machines and secure compilation; program logics
-
using probabilistic methods. You will collaborate with domain experts across transport modeling, machine-learning, and policy design to ensure scientific and practical relevance. You will contribute
Searches related to probabilistic
Enter an email to receive alerts for probabilistic positions