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
-
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
Searches related to electronic structure theory
Enter an email to receive alerts for electronic-structure-theory positions