
The Computer Science - Algorithms, Languages and Logic Master of Science is a two-year, full-time, on-campus program that focuses on the theoretical foundations of computer science, including algorithms, programming languages, and formal logic systems. The program emphasizes rigorous mathematical reasoning, computational theory, and the design of efficient algorithms and programming paradigms.
Graduates develop strong theoretical computer science skills and are well-prepared for careers in software development, algorithm engineering, research and development, and academic positions in computer science. The program also provides a solid foundation for advanced research in computational theory, formal methods, and programming language design.
Semester 1 – Foundations of Computer Science
• Introduction to Algorithms and Data Structures
• Programming Languages and Compiler Theory
• Mathematical Logic and Automata Theory
• Research Methods in Computer Science
Semester 2 – Advanced Algorithms, Languages and Logic
• Algorithm Design and Optimization
• Formal Languages and Computability
• Logic in Computer Science and Software Engineering
• Elective Modules in Computer Science
Semester 3 – Specialized Algorithms, Languages and Logic
• Advanced Topics in Algorithms and Data Structures
• Machine Learning and Computational Linguistics
• Logic-Based Programming and Verification
• Fieldwork/Research Project in Computer Science
Semester 4 – Master’s Thesis & Final Project
• Independent Research / Thesis
• Advanced Topics in Algorithms and Programming Languages
• Final Presentation & Research Evaluation
Graduates of the Computer Science - Algorithms, Languages, and Logic program are highly sought after for their expertise in programming languages, algorithms, and software development. They can pursue careers as software developers, algorithm designers, systems analysts, and computational theorists. The program’s focus on algorithms and computational logic ensures that graduates have the problem-solving skills necessary for roles in tech companies, research institutions, and startups.
The Computer Science - Algorithms, Languages, and Logic program provides students with a deep understanding of the theoretical foundations of computer science. Students gain expertise in designing algorithms, programming languages, and logic systems, preparing them for roles that require advanced computational skills. The program’s focus on both theory and practice ensures that graduates are equipped to address the complex challenges of modern computing.
For further information, please contact the admissions office at:
Phone: +46 (0)31 772 10 00
Email: kontakt@chalmers.se
Address: Chalmers University of Technology, Chalmersplatsen 1, 412 96 Gothenburg, Sweden