-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
depending on their background, expertise and affinities. Possible directions include: Design and semantics of network programming languages in the NetKAT family, including quantitative and probabilistic
-
systems in terms of development effort, features, and performance. Its missions include the design and implementation of verified inference components, the formalization of GPU kernel semantics, the
Enter an email to receive alerts for semantic-"https:" positions