-
- Conference travel support - 1-year contract, renewable (up to 3 years total) - Cloud compute provided by Nebius Requirements: - PhD in Mathematics or Computer Science - For existing projects: willingness
-
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