Swansea Theoretical Computer Science Research Group: PhD scholarship

Showing posts with label PhD scholarship. Show all posts

Showing posts with label PhD scholarship. Show all posts

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.

Subscribe to: Posts (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