Programs and universities with strong pipelines into this discipline.
USA
Massachusetts Institute of Technology (MIT) — CSAIL / AeroAstro
BS/MS/PhD Computer Science or AeroAstro
MIT Draper Laboratory (now independent) pioneered Apollo guidance computer software; CSAIL has the strongest formal methods research in the US.
USA
Carnegie Mellon University (CMU) — School of Computer Science
BS/MS Computer Science or Software Engineering
CMU Software Engineering Institute (SEI) develops the standards and methods (CMMI, AADL) used in aerospace FSW development.
USA
Stanford University — Computer Science (Systems track)
MS/PhD CS (Systems, Real-Time, or Embedded)
Strong OS and systems research; close ties to commercial space companies in Bay Area.
USA
University of Michigan — Computer Science & Engineering
BSE/MS EECS or CSE
CubeSat research programme; strong embedded OS and security track.
Switzerland
ETH Zürich — Computer Science / Electrical Engineering
MSc Computer Science or Embedded Systems
World-leading safety-critical and real-time systems research; feeds RUAG Space and ESA ESTEC GSS.
Switzerland
EPFL — School of Computer and Communication Sciences
MSc Computer Science (Embedded Systems)
Strong RTOS and formal verification research; ESA collaboration programmes.
Israel
Technion — Israel Institute of Technology
BSc/MSc Computer Science or Software Engineering
Strongest safety-critical software research in Israel; feeds IAI Space and national space programme FSW teams.
India
IIT Bombay — Computer Science & Engineering
BTech / MTech CSE or EE (Embedded Systems)
Top IIT for software; ISRO SDPD (Software Development and Payload Division) recruits here.
South Korea
KAIST — School of Computing
BSc/MSc Computer Science
Feeds Satrec Initiative (major commercial SmallSat software house) and KARI flight software group.