Sort by
Refine Your Search
-
for relaxed memory models; guarded cubical type theory; and Rocq formalizations. Tasks and Qualifications Applicants are expected to have a strong background in semantics, type theory, and Rocq formalization
Searches related to density functional theory
Enter an email to receive alerts for density-functional-theory positions