-
, and blockchain-based infrastructures. Formulate novel research methodologies and contribute to the development of secure architectures and verification frameworks for next generation blockchain
-
Requirements: A PhD in Computer Science, Software Engineering, Artificial Intelligence, or a related discipline Proven research track record demonstrated by publications in top-tier venues (e.g., IEEE S&P
-
; Quantum Algorithms / Computation; Software Engineering; Programming Languages; Logic / Verification Responsibilities: Research: The appointee is responsible for undertaking high-quality innovative
Enter an email to receive alerts for software-verification-phd
positions