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
-
when you submit your application. Additional required qualifications are: A suitable candidate for this four-year project is meticulous, with logical thinking and a strong problem-solving ability. Good
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
analysis to mathematical logic. Project description We especially seek to recruit PhD students for the following projects: Group theory, arithmetic geometry and representation theory (supervised by Wushi
-
logics, but instead on the resistances of First Nations people and community. Black Justice Journalism relies first and foremost on the foregrounding of Black Witnesses, who are often silenced or are only
-
, we have a feeling you’ll fit right in. You should be: - Able to apply logical and mathematical thinking to all kinds of problems - Intellectually curious; eager to ask questions, admit mistakes, and
-
algorithms and data structures, machine learning, computer graphics and vision, database systems, artificial intelligence, logical methods, programming languages, computer architecture, and security, to name
-
Theory and Logic B - Analysis and Differential Equations C - Discrete Mathematics D - Geometry and Topology E - Numerical Mathematics and Scientific Computing F - Stochastics International elements