Sort by
Refine Your Search
-
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
-
, you will be asked to indicate, which of the areas listed on the page above are of interest to you. The list includes positions covering Operator Algebras, Machine Learning, Analytic Number Theory
-
of the areas listed on the page above are of interest to you. The list includes positions covering Operator Algebras, Machine Learning, Analytic Number Theory, Automorphic Forms and Representation Theory
-
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
-
understanding of fundamental principles behind brain functioning in general. With a strong foundation in music practice and theory at the highest level and a focus on the clinical application of music, MIB