The Postgraduate Diploma in Science (PGDipSci) is an opportunity for Bachelor of Science graduates to advance their qualifications. Pursue advanced study in your specialist area with the Postgraduate Diploma in Science. Extend your knowledge with coursework or try a project or dissertation as part of your diploma – the option is yours. The PGDipSci offers a pathway toward masters and doctoral study. You can study Logic and Computation as a postgraduate specialisation in either our Faculty of Arts or Faculty of Science programmes. Postgraduate study in Logic and Computation combines a strong core of advanced courses in Computer Science and Philosophy, alongside Linguistics, Logic and Computation and Mathematics to explore the development of computer languages. Areas of research interests open to exploration include: The design of algorithms Definitions of computer models and complexity classes Formal theories of syntax The implementation and use of intelligent software agents Issues in semantics such as pragmatics Logic and set theory An overview of the learning problem and the view of learning by search Philosophy and computation Representation formalisms Standard artificial intelligence problem-solving paradigms Surveys agent architectures and multi-agent frameworks Structuring your postgraduate programme in Logic and Computation 15 points from: COMPSCI 720 Advanced Design and Analysis of Algorithms COMPSCI 750 Computational Complexity COMPSCI 760 Data Mining and Machine Learning COMPSCI 767 Intelligent Software Agents 15 points from: PHIL 736 Logic 1 PHIL 737 Logic 2 PHIL 738 Philosophical Logic 90 points from: COMPSCI 720 Advanced Design and Analysis of Algorithms COMPSCI 750 Computational Complexity COMPSCI 760 Data Mining and Machine Learning COMPSCI 767 Intelligent Software Agents LINGUIST 721 Formal Syntax LINGUIST 724 Semantics and Pragmatics LOGICOMP 701 Directed Studies LOGICOMP 702 Special Topic LOGICOMP 703 Directed Study LOGICOMP 705 Special Topic MATHS 713 Logic and Set Theory MATHS 715 Graph Theory and Combinatorics PHIL 736 Logic 1 PHIL 737 Logic 2 PHIL 738 Philosophical Logic Jobs related to Logic and Computation Business, systems or security analyst Cloud systems or software engineer Communications and marketing Computer consultant Data, e-commerce solutions, software, information architect Database developer or administrator Digital designer Front end, game, systems or web developer Project manager