2 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Bar Ilan University
Sort by
Refine Your Search
-
Bar Ilan University, Ruhman CMT group Position ID: Bar Ilan University -Ruhman CMT group -CMT [#30516] Position Title: Position Type: Postdoctoral Position Location: Ramat Gan, HaMerkaz 5290002, Israel Subject Area: Condensed Matter Physics / Advanced synthesis and characterization of...
-
computational mathematicsPhysics, materials science, and grain boundaries Nir Lev Harmonic analysis Frames and Riesz bases, Fourier bases, tilings and multi-tilings, crystalline measures, equidistribution and
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions