1 of 1 Distributed Ledger Jobs in Westminster

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 More ❯