• Xi’an Jiaotong-Liverpool University Featured Masters Courses
  • University of York Featured Masters Courses
  • Regent’s University London Featured Masters Courses
  • Swansea University Featured Masters Courses
  • University of Edinburgh Featured Masters Courses
  • University of Glasgow Featured Masters Courses
  • Leeds Beckett University Featured Masters Courses
  • University of Leeds Featured Masters Courses
University of Southampton Featured Masters Courses
University of Leeds Featured Masters Courses
University of Leeds Featured Masters Courses
University of Greenwich Featured Masters Courses
University of London International Programmes Featured Masters Courses

Logic and Computation MRes


Course Description

Take advantage of one of our 100 Master’s Scholarships to study Logic and Computation at Swansea University, the Times Good University Guide’s Welsh University of the Year 2017. Postgraduate loans are also available to English and Welsh domiciled students. For more information on fees and funding please visit our website.

Logic is the basis for reasoning about what we can express and compute, having a profound influence in philosophy, linguistics, mathematics, computer science, and electronics. Since the invention of computers, logic has always been the primary source of ideas and techniques for the theoretical and practical development of programming.

Today, as the scope of programming technologies expands, and the horizon of applications widens, research in logic and its applications in software and hardware development is booming. In industry, formal methods are an integral part of system development, e.g., in automotive electronics, avionics, and chip design.

The MRes Logic and Computation course will teach you about advanced techniques in logic and their applications in research problems in computer science. You will receive an elite education of direct relevance to research and development problems in contemporary information and communication technology (ICT).

Key Features

Teaching score of Excellent.

Highest percentage of top-class researchers of any Computer Science department in Wales – and only 12 in the UK have higher.

70% of the research activity assessed as world-leading or internationally excellent.

Our industrial programme IT Wales which can arrange vacation employment placements.

A state-of-the-art education.

Friendly staff, committed to the highest standards.

A university with high success rate, low drop-out rate, and excellent student support.

Swansea's Library spends more per student on books and other resources than any other university in Wales, and most in the UK.

Course Content

Research Component

The main part of the MRes in Logic and Computation is a substantial and challenging project involving cutting edge research. The completion of such a project will give you the ability and confidence to pursue a successful career in industrial research and development, or to proceed to academic PhD studies.

Taught Component

In seminars and reading courses you will enter the world of research by studying general topics in theoretical computer science as well as special topics for your research project. Guided by your supervisor you will conquer new technical subjects and learn to critically assess current research.
Lecturers and students will meet regularly to discuss recent developments and give informal talks. Topics of the seminars are chosen in accordance with the research projects, and will cover material such as:

Theorem proving techniques
Formal program verification
Algebraic and coalgebraic specification
Modelling of distributed systems
Advanced methods in complexity theory
Additionally you will choose selected taught modules covering important topics such as Critical Systems, IT Security, Concepts of Programming
Languages, Artificial Intelligence Applications, Design Patterns and Generic Programming.

Facilities

The Department is well equipped for teaching, and is continually upgrading its laboratories to ensure equipment is up-to-date – equipment is never more than three years old, and rarely more than two. Currently, students use three fully networked laboratories: one, running Windows; another running Linux; and a project laboratory, containing specialised equipment. These laboratories support a wide range of software, including the programming languages Java, C# and the .net framework, C, C++, Haskell and Prolog among many; integrated programme development environments such as Visual Studio and Netbeans; the widely-used Microsoft Office package; web access tools; and many special purpose software tools including graphical rendering and image manipulation tools; expert system production tools; concurrent system modelling tools; World Wide Web authoring tools; and databases.

Careers

All Computer Science courses will provide you the transferable skills and knowledge to help you take advantage of the excellent employment and career development prospects in an ever growing and changing computing and ICT industry.

90% of Swansea’s Computer Science graduates are in full-time employment or further study within six months of graduating (HESA June 2011).

Some example job titles from the HESA survey 2011:

Software Engineer: Motorola Solutions

Change Coordinator: Logica

Software Developer/Engineer: NS Technology

Workflow Developer: Irwin Mitchell

IT Developer: Crimsan Consultants

Consultant: Crimsan Consultants

Programmer: Evil Twin Artworks

Web Developer & Web Support: VSI Thinking

Software Developer: Wireless Innovations

Associate Business Application Analyst: CDC Software

Software Developer: OpenBet Technologies

Technical Support Consultant: Alterian

Programming: Rock It

Software Developer: BMJ Group

Research

The results of the Research Excellence Framework (REF) 2014 show that Swansea Computer Science ranked 11th in the UK for percentage of world-leading research, and 1st in Wales for research excellence. 40% of our submitted research assessed as world-leading quality (4*).

Visit the Logic and Computation MRes page on the Swansea University website for more details!



All Available Videos:


Student Profiles
(Scholarship)

100 Swansea University Master's Scholarships - 20+ Awards

Swansea University is offering 100 Master’s Scholarships, each worth £3000 towards tuition fees for UK/EU students starting eligible master’s courses in September 2017.Eligible courses include:All LLM programmes (including LLM by Research)All MA programmes (including MA by Research)All MRes programmesAll MSc programmes (including MSc by Research)Please note that MPhil, GDL/CPE and LPC programmes are not eligible for the Swansea University Master’s Scholarship scheme.

Value of Scholarship(s)

3000

Eligibility

You must have, or expect to achieve, a minimum 2:1 honours degree (or equivalent).You must hold an offer to study on an eligible master’s course at Swansea University from September 2017. Programmes commencing in January, April and July 2017 are not eligible.

Application Procedure

Please visit our website for more details on how to apply.

Further Information

http://www.swansea.ac.uk/postgraduate/scholarships/taught/swansea-masters-scholarships-2017.php


(Scholarship)

All Science Subjects: College of Science Postgraduate Scholarships - No. of awards TBC

Swansea University is a UK top 30 institution for research excellence (Research Excellence Framework 2014), and has been named Welsh University of the Year 2017 by The Times and Sunday Times Good University Guide. The College of Science, Swansea University, is offering £2,500 scholarships to UK/EU applicants for selected postgraduate science master's programmes. These are for September 2017 entry.Please note that before you apply for this scholarship, you MUST have applied for one of the courses below and have an offer from us for a place on that course.The following programmes are eligible:MSc Environmental Biology: Conservation and Resource Management
MRes Biosciences
MSc Computer Science
MSc Advanced Computer Science
MSc Advanced Software Technology
MRes Computing and Future Interaction Technologies
MRes Logic and Computation
MRes Visual Computing
MSc Environmental Dynamics and Climate Change
MSc Geographic Information and Climate Change
MSc Mathematics and Computing for Finance
MSc by Research in Mathematics
MRes Stochastic Processes: Theory and Application
MSc High Performance and Scientific Computing

Value of Scholarship(s)

2500

Eligibility

Scholarships are available only to new postgraduate taught applicants who are UK/EU students
Scholarships will be used to offset tuition fees
Applicants should hold a minimum of a 2.1 degree (or equivalent)
Applicants should have already applied formally to the University for a place on one of the College's postgraduate programmes. Information regarding the application procedure can be found on the Admissions Office website
Applicants must enrol on a course in the College for the first time in September 2017Please visit our website for more information regarding eligibility criteria.

Application Procedure

Please visit our website for more information.

Further Information

http://www.swansea.ac.uk/postgraduate/scholarships/research/science-postgraduate-scholarships-2017.php



Entry Requirements

The entry requirements for the Logic and Computation MRes is a 2:1 honours degree (or above) in Computer Science, Mathematics or a closely related discipline. English language requirement IELTS 6.5 (with a minimum of 5.5 in each component) or Swansea University recognised equivalent.

Email Enquiry

Recipient: Swansea University

Insert previous message below for editing? 
You haven’t included a message. Providing a specific message means universities will take your enquiry more seriously and helps them provide the information you need.
Why not add a message here
* required field
Send a copy to me for my own records.

Your enquiry has been emailed successfully



Share this page:

Cookie Policy    X