Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Carnegie Mellon University
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- Umeå University
- University of Amsterdam (UvA)
- AALTO UNIVERSITY
- Inria, the French national research institute for the digital sciences
- Jane Street Capital
- KU LEUVEN
- Tilburg University
- UNIVERSITY OF HELSINKI
- University of Bedfordshire
- University of Copenhagen
- University of Helsinki
- University of Mainz
- Aarhus University
- CEA Paris-Saclay
- CNRS
- Constructor Knowledge Labs gGmbH
- Empa
- Faculdade de Ciências da Universidade de Lisboa
- Fraunhofer-Gesellschaft
- Fundacio de Recerca Clinic Barcelona-Institut d'Investigacions Biomediques August Pi i Sunyer
- King's College London
- NTNU - Norwegian University of Science and Technology
- NTNU Norwegian University of Science and Technology
- Queensland University of Technology
- Saarland University •
- Stockholm University
- University of Bergen
- University of Birmingham
- University of Bonn •
- University of East Anglia
- Vrije Universiteit Brussel
- Wayne State University
- 25 more »
- « less
-
Field
-
an advanced topic in one of the following areas: Mathematical Analysis, Differential Equations, Geometry and Topology, Mathematical Logic, Algebra, and Combinatorics. Fellowship duration: The grant is expected
-
The Cognitive Science & Artificial Intelligence Research Center at Tilburg University hosts the Secure Hardware Intelligence Extraction and Logic Deconstruction (SHIELD) research project, a
-
traffic flow theory with machine learning, and with that, the best of both worlds: theory and logic where necessary, data-driven where possible. This innovative new approach enables more efficient and
-
to develop a new generation of traffic prediction methods, combining traffic flow theory with machine learning, and with that, the best of both worlds: theory and logic where necessary, data-driven where
-
their skills and experience. Current priority areas for A&A are: State preparation techniques Schemes for extracting information and observables from quantum computation Noise modelling of logical quantum
-
on this, logical choices have to be deduced on whether the conclusions can be extrapolated to cryogenic environment or not. The next step would be to manufacture the flat plate cryogenic PHPs. Manufacturing
-
We are recruiting a PhD student interested in completing a PhD in set theory and logic. The position is part of the research project “Interactions between set theory and non-standard logics” funded
-
Position Description The Helsinki Logic Group is recruiting a PhD student interested in completing a PhD in mathematical logic. The position is part of the research project “Logic and Computation
-
The Helsinki Logic Group is recruiting a PhD student interested in completing a PhD in mathematical logic. The position is part of the research project “Logic and Computation over Semirings” funded
-
. Additional required qualifications are: A suitable candidate for this four-year project is meticulous, with logical thinking and a strong problem-solving ability. Good oral and written proficiency in English