Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Denmark
- University of Oslo
- University of Twente
- Harvard University
- Chalmers University of Technology
- University of Glasgow
- Monash University
- Nottingham Trent University
- Stockholm University
- University of Copenhagen
- University of Michigan
- University of Southern Denmark
- University of St. Gallen
- University of Texas at Arlington
- University of Texas at Austin
- Vrije Universiteit Amsterdam
- Aalborg University
- Aarhus University
- BI Norwegian Business School
- Cornell University
- Cranfield University
- EPFL
- ETH Zurich
- Flinders University
- Ghent University
- Harper Adams University
- Inria
- Mathjobs.org
- Max Planck Institute for Comparative Public Law and International Law, Heidelberg
- Pennsylvania State University
- Roskilde University
- UNIVERSITY OF HELSINKI
- University of Birmingham
- University of British Columbia
- University of Groningen
- University of Helsinki
- University of Lund
- University of Newcastle
- University of Nottingham
- Uppsala University
- Utrecht University
- Vrije Universiteit Amsterdam (VU)
- 32 more »
- « less
-
Field
-
For candidates For employers For members AcademicTransfer Sign in Sign up en English (EN) Nederlands (NL) All jobs PhD Position in Formal Methods for Concurrent Cryptographic Protocols The goal of
-
Your function You will carry out research towards developing formal reasoning principles for concurrent cryptographic protocols and participate in the dissemination of results (conferences, research
-
«Detaljer» for å lese mer om dette og tilpasse dine valg. Om cookies Bare nødvendige cookies UiO/Anders Lien 1st September 2026 Languages English English English PhD Research Fellow in Formal Methods and
-
languages, software security, formal methods, software verification, distributed systems, or artificial intelligence. Strong programming and software development skills.Interest in both conceptual research
-
Boston, Cambridge, Massachusetts, MA, Northeast, New England Open field, American politics, International Relations, Quantitative Methods, Formal Theory
-
topics in foundational cryptography. Similarly work on the intersection of cryptographic protocols and formal methods is possible. One or two extended research visits are encouraged during the doctoral
-
community-based correctional supervision known as “assisted desistance,” which centres on supporting the social and psychological processes involved in behaviour change. The project uses mixed methods
-
Fellowship program supports postdoctoral researchers at the Museum of Comparative Zoology ( MCZ ) at Harvard University to pursue the discovery and formal taxonomic description of Earth’s animal species
-
, and network traffic is measured on links rather than routes. Bayesian inference then requires sampling latent variables that satisfy exact constraints. Standard Markov chain Monte Carlo (MCMC) methods
-
experiments with people and AI systems. Some students may develop new theory or algorithms; others may use existing methods to explain behaviour in a particular setting. In either case, the aim is to