M.Sc. Computer Science: Algorithms, Languages and Logic

  • On Campus
  • 24 months
  • EUR15000 Year (Non-EEA)
  • English
  • Request free info
Chalmers University of Technology | Gothenburg, Sweden
Computer systems are becoming increasingly powerful and intelligent, and they rely on increasingly sophisticated techniques. To master the complexity of these systems, it is essential to understand the core areas of computer science.
Visit Programme Website Many students visit a programme website.

Description of Computer Science: Algorithms, Languages and Logic

Computer systems are becoming increasingly powerful and intelligent, and they rely on increasingly sophisticated techniques. To master the complexity of these systems, it is essential to understand the core areas of computer science.

This programme offers a comprehensive foundation in the science of programming. It gives the student a strong basis for developing the computer applications of today and tomorrow and for conducting innovative research and promoting development.

The core of the programme covers four main areas of computing science

  • Algorithms including artificial intelligence, machine learning and optimisation
  • Logic including applications in hardware and software verification
  • Programming languages with underlying principles, implementation techniques and advanced programming techniques.
  • Computer security including cryptography and programming language-based approaches to security.

The optional segment of the programme offers the student a broad range of courses in other areas of computer science, bioinformatics, software engineering, mathematics and other relevant areas.

Who should apply

The programme is intended for students who wish to study the core areas of computer science on an advanced level in order to prepare themselves for research and development in the software industry. It also provides an ideal basis for academic research in computer science.

Most students will have a BSc in computer science. However, the programme can also serve as a conversion course for students with BSc in related subjects, such as mathematics, physics or engineering sciences, provided they have basic knowledge of mathematics and programming, and have completed an introductory computer science course such as data structures or algorithms.

Why apply

You will acquire a strong computer science background and thus gain access to a wide range of opportunities in the information technology industry. Students acquire lasting subject knowledge and are in a good position to understand and contribute to technological advances.

  • Search engines such as Google and Yahoo are based on advanced algorithms research.
  • Examples of companies that employ technically skilled computer scientists include Ericsson and Volvo, and local companies such as Jeppesen, a leader in airline crew scheduling.

The programme also provides the student with an excellent background for future PhD studies in computing, which can lead to a career as an academic researcher or computing teacher.

Detailed Course Facts

Application deadline January 15
Tuition fee
  • EUR 15000 Year (Non-EEA)

Tuition fee: 140 000 SEK/academic year
*EU/EEA citizens are not required to pay fees.

Start date September  2015
Credits (ECTS) 120 ECTS
Duration full-time 24 months
Languages
  • English
Take an IELTS test
Delivery mode On Campus
Educational variant Full-time

Course Content

First Year

AUTUMN TERM Study period 1

Compulsory courses

  • Logic in computer science, Examination
  • Algorithms, Examination
Elective courses
  • Types for programs and proofs, Written and oral assignments
  • Frontiers of programming language technology, Project
  • Software engineering using formal methods, Laboratory
  • Software engineering using formal methods, Examination

AUTUMN TERM Study period 2

Elective courses

  • Computer architecture, Project
  • Computer architecture, Examination
  • Models of computation, Examination
  • Algorithms, advanced course, Project
  • Frontiers of programming language technology, Project
  • Cryptography, Examination
  • Cryptography, Laboratory
  • Computer graphics, Examination
  • Computer graphics, Laboratory
  • Functional programming, Laboratory
  • Functional programming, Examination
  • Computational methods in bioinformatics, Written and oral assignments

SPRING TERM Study period 3

Compulsory courses

  • Programming language technology, Examination
  • Programming language technology, Laboratory
Elective courses
  • Programming paradigms, Examination
  • Real time systems, Examination
  • Real time systems, Laboratory
  • Computer security, Examination
  • Computer security, Laboratory
  • Discrete optimization, Examination
  • Algorithms for machine learning and inference, Project
  • Frontiers of programming language technology, Project
  • Advanced functional programming, Laboratory
  • Advanced functional programming, Examination

SPRING TERM Study period 4

Elective courses

  • Parallel functional programming, Examination
  • Parallel functional programming, Laboratory
  • Network security, Examination
  • Network security, Laboratory
  • Frontiers of programming language technology, Project
  • Compiler construction, Project
  • Language-based security, Project
  • Language-based security, Laboratory
  • Artificial intelligence, Project
  • Artificial intelligence, Examination

OTHER Regardless of period

Elective courses

  • Project in computer science, Project

Second Year

AUTUMN TERM Study period 1

Elective courses

  • Types for programs and proofs, Written and oral assignments
  • Frontiers of programming language technology, Project
  • Software engineering using formal methods, Laboratory
  • Software engineering using formal methods, Examination

AUTUMN TERM Study period 2

Elective courses

  • Computer architecture, Project
  • Computer architecture, Examination
  • Models of computation, Examination
  • Algorithms, advanced course, Project
  • Frontiers of programming language technology, Project
  • Cryptography, Examination
  • Cryptography, Laboratory
  • Computer graphics, Examination
  • Computer graphics, Laboratory
  • Functional programming, Laboratory
  • Functional programming, Examination
  • Computational methods in bioinformatics, Written and oral assignments

SPRING TERM Study period 3

Elective courses

  • Programming paradigms, Examination
  • Real time systems, Examination
  • Real time systems, Laboratory
  • Computer security, Examination
  • Computer security, Laboratory
  • Discrete optimization, Examination
  • Algorithms for machine learning and inference, Project
  • Frontiers of programming language technology, Project
  • Advanced functional programming, Laboratory
  • Advanced functional programming, Examination

SPRING TERM Study period 4

Elective courses

  • Parallel functional programming, Examination
  • Parallel functional programming, Laboratory
  • Network security, Examination
  • Network security, Laboratory
  • Frontiers of programming language technology, Project
  • Compiler construction, Project
  • Language-based security, Project
  • Language-based security, Laboratory
  • Artificial intelligence, Project
  • Artificial intelligence, Examination

OTHER Regardless of period

Elective courses

  • Research-oriented course in Computer Science and Engineering, Project
Diploma thesis
  • Master's thesis in Computer science and engineering, Diploma thesis
  • Master's thesis in Computer science and engineering, part A, Diploma thesis
  • Master's thesis in Computer science and engineering, part B, Diploma thesis

Requirements for Computer Science: Algorithms, Languages and Logic

Bachelor´s degree (or the equivalent) with a Major in Computer Science, Computer Engineering, Mathematics, Engineering Physics or Software Engineering

Prerequisites: Mathematics (including Linear algebra and Discrete mathematics), Algorithms and/or Data structures (at least 7,5 cr.), Programming (at least 7,5 cr.) and Statistics

English Language Proficiency

The most common and important scores that are accepted are

  • IELTS (academic training), 6.5 (with no part of the test below 5.5)

  • TOEFL (Internet based): 90 (with a minimum of 20 on the written part)

  • TOEFL (paper based): 575 (with a minimum of 4.5 on the written part)

Work Experience for Computer Science: Algorithms, Languages and Logic

No work experience is required.

More Information

The Global Study Awards: get funded with up to £10,000 to study abroad

Together with the ISIC Association and British Council IELTS we offer you the chance to receive up to £10,000 to expand your horizon and study abroad. We want to ultimately encourage you to study abroad in order to experience and explore new countries, cultures and languages.

Request free information from Chalmers University of Technology instantly.

  • The fastest way to be in direct contact with the university.
  • All information comes for free.
  • No strings attached.

By sending the form, I confirm that I accept the Terms of Use and Privacy Statement.

Your privacy is important to us. We will keep your information confidential.