← Back to catalogue

Level 2 · M.Sc

MSc Advanced Automation

Automation · Live · v0

Doctoral automation — orchestration at scale, self-healing systems, and research-grade reliability engineering.

Path type

Automation

Requirements

MSc Automation

Enrollment

€19.95

Deadline

Next cohort starts 2027-09-06 (AY 2027/28)

Length

~1 year · 42 phases

Language

English · Español

Content freshness

Curriculum updated 2026-08-23 · content rev 8d6e0676

Cortex Credits (CC)

126 CC · 280 CC across all tiers of this programme
What are Cortex Credits?

Syllabus

View the phase syllabus

0. Foundations & tooling
1. What "advanced automation" means: rigor over recipes
2. The shipd delivery system, recapped & instrumented
3. Research method: reproducible experiments on a pipeline
4. The algebra of pipelines: determinism, idempotence & purity
5. Build systems as computation: the build graph & content addressing
6. Hermetic & reproducible builds, bit-for-bit
7. Caching theory: correctness, keys & invalidation
8. Incremental & distributed builds & the critical path
9. Dependency resolution as constraint solving
10. Supply-chain integrity I: provenance, SLSA & in-toto
11. Test theory, revisited: oracles, adequacy & economics
12. Coverage criteria & their limits
13. Property-based & metamorphic testing
14. Mutation testing & the coupling effect
15. Fuzzing: coverage-guided & structure-aware
16. Deterministic simulation testing
17. Distributed-systems testing: linearizability & Jepsen-style checking
18. Model checking & lightweight formal methods
19. Performance testing as experiment: queueing theory & percentile math
20. CI as a distributed system: the integration problem
21. Merge queues & the not-rocket-science rule
22. Predictive CI: regression test selection & prioritization
23. Flaky-test science: detection, quantification & quarantine
24. Pipeline performance: critical-path analysis at scale
25. Hermetic CI & remote build execution
26. Monorepo automation: affected-target graphs at scale
27. The mathematics of deployment risk
28. Deployment strategies as control problems
29. Canary analysis & automated statistical gating
30. Feature flags & progressive delivery as a control plane
31. Control theory for delivery & autoscaling
32. Reproducible & immutable artifacts: OCI internals
33. Supply-chain integrity II: signing, verification & admission policy
34. Release engineering: versioning, automated releases & rehearsed rollback
35. Infrastructure as Code: desired-state convergence, formally
36. The state problem: drift, locking & convergence guarantees
37. GitOps & the reconciliation control loop
38. Policy as Code & admission control
39. Secrets & identity: short-lived credentials & zero-standing-privilege
40. Platform engineering & the internal developer platform
41. Self-service & the abstraction of automation

Syllabus →

Enrolment prerequisites

• A verified account and admissions-committee approval.
• Recommended path: MSc Automation (advisory, not blocking).