Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Denmark
- Argonne
- Nature Careers
- Aarhus University
- Duke University
- NEW YORK UNIVERSITY ABU DHABI
- Oak Ridge National Laboratory
- CEA
- Delft University of Technology (TU Delft)
- Durham University
- Institute of Physics of the Czech Academy of Sciences
- KTH Royal Institute of Technology
- Linköping University
- Mälardalen University
- New York University
- Technical University of Munich
- Universidade de Aveiro
- University of California Berkeley
- University of Gdansk
- University of Glasgow
- University of Silesia in Katowice
- University of Warsaw: Faculty of Mathematics, Informatics and Mechanics
- University of Zurich Blockchain Center
- 13 more »
- « less
-
Field
-
Requisition Id 13945 Overview: The Multiscale Methods and Dynamics (MMD) Group at Oak Ridge National Laboratory (ORNL) is seeking a Postdoctoral Research Associate who will focus
-
international environment in the heart of Europe and collaborate with our global partners in Europe and beyond What we expect PhD in physics, chemistry, or related field Operational knowledge of methods
-
an amendment theory on constitutional momentum”, led by Mauro Arturo Rivera León, PhD. Place of work:Faculty of Law and Administration, Institute of Law Job location: ul. Bankowa 11B, 40-007 Katowice Number
-
. The ideal candidate will have expertise in formal methods, program verification, and microarchitectural attack analysis. Experience with compiler pass design and SMT solvers is highly desirable and will be
-
software packages Requirements We expect that candidate at the moment of employment hold a PhD degree in computer science, statistics, mathematics or related computational areas of study - the degree can be
-
the research team effectively internally and externally, including the presentation of research outcomes at national and international conferences. As a formal qualification, you must hold a PhD degree (or
-
, dynamical group Good communication skills in English, both written and spoken As a formal qualification, you must hold a PhD degree (or equivalent). We offer DTU is a leading technical university globally
-
-order quantum computation methods, including the quantum combs formalism and indefinite causal structures. Additionally, we plan to focus on selected aspects of quantum error correction and methods
-
SingularityNET and Actyx AG. The aim of the project is to develop, and mechanise via a proof assistant like Agda, a unified formal model (Uni-pi) based on the pi-calculus and session/linear types
-
of Machine Learning and Computational Chemistry. This recruitment is linked to the Wallenberg AI, Autonomous Systems and Software Program (WASP) and Wallenberg Initiative Materials Science for Sustainability