[TYPES/announce] Four Assistant/Associate Professor positions in Computing at Imperial College London - deadline 15th December

Donaldson, Alastair F alastair.donaldson at imperial.ac.uk
Tue Nov 18 13:33:55 EST 2025


Dear all

The Department of Computing at Imperial College is hiring for four Assistant/Associate Professor positions, including in the field of Programming Languages.

Deadline for applications: 15th December.

Our priority areas for this round are:


  *
Programming Languages, including language design and implementation, program analysis and verification, compilers and runtime systems, type systems, domain-specific languages, program synthesis, probabilistic programming, and programming languages for emerging areas such as quantum computing and AI.
  *
Systems, including distributed and operating systems, machine learning systems, networking, storage, cloud and edge computing, data systems, real-time systems, and high-performance computing.
  *
Security, including cryptography and post-quantum security, usable security and human factors, security for AI and AI for security, blockchain and distributed ledger technologies, systems and network security, software and malware security, privacy.
  *
Software Engineering, including AI-assisted software development, software architecture and design, formal methods, testing, empirical software engineering, human factors, and software evolution.
  *
Computer Architecture, including neuromorphic computing, processor and memory system design, new computer architectures for efficiency and scalability, parallel and multi-core systems, domain-specific accelerators (e.g., for AI, graphics and vision), and quantum computing hardware.
  *
Theoretical Computer Science, including algorithms and data structures, complexity theory, cryptography and information theory, quantum algorithms, and theory of quantum computation.

While these areas are of strategic importance to the Department, we will consider truly outstanding candidates in all areas of Computing.

Please consider applying, and please circulate to excellent candidates who might be interested!

Job advert with full details<https://urldefense.com/v3/__https://www.imperial.ac.uk/jobs/search-jobs/description/index.php?jobId=25825&jobTitle=Assistant*Professor*2FAssociate*Professor*in*Computing__;KyUrKys!!IBzWLUs!SBS-nIwrYeJTjZZcFN5bm1VgUVzVX_rforJszI1INL6WajKQqd1mojkpDeHFfYT6X9MoZq-OowH0zPXQ178NswCzIdoks_EWOakvoGOciVva8rY$ >.

Best wishes

Alastair Donaldson
Director of Research
Department of Computing
Imperial College London


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20251118/f7052ced/attachment.htm>


More information about the Types-announce mailing list