Did you study here?
Write a short review & help students like you! Over 21,000 students already shared their experience.
M.Sc. Computer Science: Algorithms, Languages and Logic
Chalmers University of Technology
| Application deadline: | January 15 |
| Tuition fee: |
|
| Start date: | September 2013 |
| Credits: | 120 ECTS |
| Duration full-time: | 24 months |
| Languages: |
|
| Location: |
|
| Delivery mode: | On Campus |
| Educational variant: | Full-time |
Description
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.
Contents
Compulsory courses
- Logic in computer science, Examination 7,5 Credits
- Algorithms, Examination 7,5 Credits
- Algorithms, Laboratory 0,0 Credits
Elective courses
- Project in computer science, Project 7,5 Credits
- Types for programs and proofs, Written and oral assignments 7,5 Credits
- Frontiers of programming language technology, Project 1,5 Credits
- Software engineering using formal methods, Laboratory 2,5 Credits
- Software engineering using formal methods, Examination 5,0 Credits
AUTUMN TERM Study period 2
Elective courses
- Models of computation, Examination 7,5 Credits
- Algorithms, advanced course, Project 7,5 Credits
- Frontiers of programming language technology, Project 2,0 Credits
- Cryptography, Examination 7,5 Credits
- Cryptography, Laboratory 0,0 Credits
- Functional programming, Laboratory 3,0 Credits
- Functional programming, Examination 4,5 Credits
SPRING TERM Study period 3
Compulsory courses
Elective courses
- Programming paradigms, Examination 7,5 Credits
- Discrete optimization, Examination 7,5 Credits
- Algorithms for machine learning and inference, Project 7,5 Credits
- Frontiers of programming language technology, Project 2,0 Credits
- Advanced functional programming, Laboratory 4,5 Credits
- Advanced functional programming, Examination 3,0 Credits
- Structural bioinformatics, Examination 7,5 Credits
SPRING TERM Study period 4
Elective courses
- Parallel functional programming, Examination 6,0 Credits
- Parallel functional programming, Laboratory 1,5 Credits
- Frontiers of programming language technology, Project 2,0 Credits
- Compiler construction, Examination 7,5 Credits
- Compiler construction, Laboratory 0,0 Credits
- Language-based security, Design exercise + laboratory 7,5 Credits
- Language-based security, Laboratory 0,0 Credits
- Hardware description and verification, Examination 7,5 Credits
- Artificial intelligence, Examination 7,5 Credits
Second Year
AUTUMN TERM Study period 1
Elective courses
- Types for programs and proofs, Written and oral assignments 7,5 Credits
- Frontiers of programming language technology, Project 1,5 Credits
- Software engineering using formal methods, Laboratory 2,5 Credits
- Software engineering using formal methods, Examination 5,0 Credits
AUTUMN TERM Study period 2
Elective courses
- Models of computation, Examination 7,5 Credits
- Algorithms, advanced course, Project 7,5 Credits
- Frontiers of programming language technology, Project 2,0 Credits
- Cryptography, Examination 7,5 Credits
- Cryptography, Laboratory 0,0 Credits
SPRING TERM Study period 3
Elective courses
- Programming paradigms, Examination 7,5 Credits
- Discrete optimization, Examination 7,5 Credits
- Algorithms for machine learning and inference, Project 7,5 Credits
- Frontiers of programming language technology, Project 2,0 Credits
SPRING TERM Study period 4
Elective courses
- Parallel functional programming, Examination 6,0 Credits
- Parallel functional programming, Laboratory 1,5 Credits
- Applied optimisation, Examination 7,5 Credits
- Frontiers of programming language technology, Project 2,0 Credits
- Compiler construction, Examination 7,5 Credits
- Compiler construction, Laboratory 0,0 Credits
- Language-based security, Design exercise + laborator 7,5 Credits
- Language-based security, Laboratory 0,0 Credits
- Hardware description and verification, Examination 7,5 Credits
Diploma thesis
Requirements
Bachelor´s degree (or the equivalent) with a Major in Computer Science, Computer Engineering, Mathematics, Engineering Physics or Software Engineering.
Prerequisites: Mathematics (including Discrete mathematics and Linear algebra), Statistics, Programming, Algorithms and/or data structures.
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)
English Language Requirements
| IELTS band: | 6.5 |
| CAE score: | 60(Grade A) |
| TOEFL paper-based test score: | 575 |
| TOEFL internet-based test score: | 90 |
Funding
Chalmers can offer over 87 scholarships for the academic year 2012/2013
- over 40 scholarships funded by the Chalmers foundation (hereinafter Avancez)
- over 40 Swedish Government scholarships allocated by the International Programme Office for Education and Training (hereinafter IPOET)
- two Ericsson Scholarships in Communication Engineering
- two Sievert Larsson Scholarships (Fund within Friends of Chalmers) for Thai citizens
- two Volvo Cars scholarship for Chinese Masters Students
- one US Friends of Chalmers scholarship for US Masters Students
IELTS
You are normally required to take an English Proficiency Test.
Most European Universities recognise the IELTS test.
Take IELTS testContact
Using the form on this page, you can directly ask questions to the contactpersons at the university.
Fill out your contact information and message. The information you fill out in this form will be sent directly to the university. They will reply to you on the e-mail address you provide here.
mastersportal.eu cannot take any responsibility for the answering of contacts or for the content of their replies.
