-
interested in exploring the limits of quantum computation using automated reasoning. We are broadly interested in tackling conjectures and open problems in quantum information theory using satisfiability
-
. To achieve these objectives, the PhD candidate will combine the analytical tools from the theory of operator algebras and noncommutative geometry (Arici, Mesland) with the study of data obtained from
-
7 Nov 2025 Job Information Organisation/Company Leiden University Research Field Mathematics » Algebra Mathematics » Number theory Researcher Profile First Stage Researcher (R1) Country Netherlands
-
7 Nov 2025 Job Information Organisation/Company Leiden University Research Field Chemistry » Inorganic chemistry Chemistry » Physical chemistry Engineering » Chemical engineering Engineering
-
programs. Alternatively, Mathematics, Computer Science, Computer Engineering, Electrical Engineering, or a similar field; Strong mathematical background: basic knowledge of graph theory and excellent
-
24 Oct 2025 Job Information Organisation/Company Leiden University Research Field Cultural studies » European studies Cultural studies » Renaissance studies History » Modern history History » Social
-
24 Oct 2025 Job Information Organisation/Company Leiden University Research Field History » Modern history History » Social history Language sciences » Linguistics Language sciences » Philology
-
. The candidate will be embedded in the Explanatory Data Analysis group at the Leiden Institute of Advanced Computer Science. The group develops algorithms and theory that enable domain experts to describe data
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD candidate, Cryptographic Hardware and Design Automation Project description We