32 proof-checking-postdoc-computer-science-logic positions at University of California Berkeley
Sort by
Refine Your Search
-
, including for the Sustainable Environmental Design (SED) major and the Master of Urban Design (MUD) program. The Sustainable Environmental Design major recognizes that the emergent, multidisciplinary field
-
microscope systems on the UC Berkeley campus. The MIC provides training, access, guidance and collaboration for the UC Berkeley research community, with primary user groups from the biological sciences
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions