Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
: Probability Theory, Geometry and Analysis Appl Deadline: 2025/09/25 11:59PM (posted 2025/08/25, listed until 2025/09/25) Position Description: Apply 2025/09/25 11:59PM Position Description The Department
-
: Operator Algebras, Machine Learning, Analytic Number Theory, Automorphic Forms and Representation Theory Appl Deadline: 2025/10/10 11:59PM (posted 2025/09/10, listed until 2025/10/10) Position Description
-
physics and condensed matter theories to address the problem of fracture in complex materials. You will be working with experimental model systems and numerical simulations of materials that exhibit
-
lasers is essential. It will be advantageous with experience on pump-probe spectroscopy and/or supercontinuum generation. Experience with density-functional theory is also of relevance. The applicant must
-
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