Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
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
-
theory and empirical studies of user experiences and the interplay between online and offline activities, combining philosophy, media studies (including game studies) and psychology. It is a collaborative
-
, contested and changing matter. Our approach is interdisciplinary and combines social-scientific traditions such as organization theory, sociology, ethnography, political economy, and social psychology
-
management as a practical, situated, contested and changing matter. Our approach is interdisciplinary and combines social-scientific traditions such as organization theory, sociology, ethnography, political
-
. During the project, you will work closely together with colleagues in theory who propose optimized designs for your devices, and both receive and provide help to fellow colleagues performing
-
candidate to help develop these new manners by which to promote bonds as kernels in the interpretation of chemical simulations. For this purpose, novel theory and simulation software will need to be developed
-
partners and optimize them for nonlinear quantum processes Collaborate with theory colleagues to refine fiber designs based on experimental feedback Disseminate results at international conferences and in
-
theory, symmetry analysis, and group theory. You will work on developing and applying these ideas to discover new photonic phenomena, implement associated computational tooling, and to find opportunities
-
theory with insights from economics, sociology, psychology, and economic geography. Methodologically, the department places considerable emphasis on the solid application of empirical methods, featuring