Sort by
Refine Your Search
-
Research themes: Cyber Security, AI, Decentralized Systems, Applied Cryptography UK students This 3.5-year PhD studentship is open to Home (UK) applicants. The successful candidate will receive an
-
Application deadline: All year round Research theme: Post-Quantum Cryptography UK only This 3.5-year PhD project is fully funded and home students, and EU students with settled status, are eligible
-
election systems that are resistant to coercion. Requirement: You are not required to be an expert in Coq or Cryptography; familiarity with Coq and Cryptography is fine. However, you should be comfortable
-
, or a model of instruction-set level semantics. We are also interested in cryptography, namely ZKVMs, FHE, game-based proofs (a la Easycrypt), and their models via Lean and MLIR, large-scale SAT/SMT
-
, such as quantum sensing, quantum cryptography and quantum computation, with experiment limitations implemented as mathematical constraints. The applicant should have a a mastery of linear algebra
-
Science & Cryptography; Entrepreneurship & Start-ups Funding and Eligibility Funding covers tuition fees and a stipend for 4 years, and an individual budget for travel and research costs. Both UK and