Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
verification in Rocq, functional programming, formal cryptographic proofs, compilation, RISC-V Key responsibilities: Implementation and verification of cryptographic protocols in Rocq Implementation and formal
-
to contribute to public debate. Applicants should document prior experience and creativity in the field of knowledge exchange. Qualifications Applicants must submit a research plan and explain how
-
The School of Communication and Culture invites applications for the post of research assistant within the fields of Science and Technology Studies (STS) of Information Studies to work in the
-
The Department of Psychology and Behavioural Sciences invites applications for assistant professorships in Psychology. The educational program of the Department covers the subfields of Social and
-
applications for Associate Professor within the Section of Design and Manufacturing. The MPE Department seeks an innovative and visionary researcher capable of establishing and leading an internationally
-
The position The ERC-funded project ‘Changing Childhoods in the Era of the WWW (WEB CHILD)’ ( https://cas.au.dk/en/erc-webchild ) offers a postdoctoral position to attract applicants with a well
-
, Machine Learning, Analytic Number Theory, Automorphic Forms and Representation Theory. The list may be updated with new areas up until the deadline for application. As a successful candidate you are
-
Aarhus University, Denmark - an international top-100 university - has made an ambitious strategic investment in a recruitment plan to radically expand the Department of Electrical and Computer
-
for applicant - professor' must be submitted Research plan, which is part of the 'Template to applicant - professor' can be uploaded separately (optional) Coauthor statement(s) can be uploaded (optional
-
multidisciplinary team environment. Further, we will prefer candidates with some of the following qualifications: Solid background in programming using Python (PyTorch, TensorFlow), R or other languages. Experience