Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
outstanding 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
-
nearing completion of) in computer science or a closely related field Background in programming languages, formal methods, or networking Research experience in one or more of: language design and
-
user communities Profile Higher degree in computer science or education deemed equivalent; experience in the field Excellent technical knowledge of systems programming, and strong programming ability in
Enter an email to receive alerts for software-verification-computer-science "https:" positions