Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
to contribute to: (1) The design and build-up of a deep-UV supercontinuum source for ultrafast pump-probe transmission / reflection spectroscopy. (2) Investigate the dynamics of electrons and holes in selected
-
, 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