Swansea Theoretical Computer Science Research Group: PhD Scholarships

Monday, 27 November 2023

PhD Scholarships

Swansea University is offering two PhD scholarships in Computability Theory:

Fully Funded PhD Scholarship: Enumeration degrees and topology (RS462). Find more here.
Fully Funded EPSRC and Swansea University PhD Scholarship: Effective dimensions: applications of computability theory to geometric measure theory (RS459). Find more here.

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Some recent papers/book chapters

Predicativity of the Mahlo Universe in Type Theory P Dybjer, A Setzer 30th International Conference on Types for Proofs and Programs TYPES 2024
Termination-checked Solidity-style smart contracts in Agda in the presence of Turing completeness FF Alhabardi, A Setzer 30th International Conference on Types for Proofs and Programs TYPES 2024
Berger, U., & Seisenberger, M. (2023). On the computational content of choice principles. Handbook of Bishop Constructive Mathematics.
Berger, U., Seisenberger, M., Spreen, D., & Tsuiki, H. (2023). Concurrent Gaussian elimination. doi:10.48550/ARXIV.2305.10125
Bergstra, J. A., & Tucker, J. V. (2023). A complete finite equational axiomatisation of the fracterm calculus for common meadows. doi:10.48550/ARXIV.2307.04270