[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
