Теоретичний комп'ютерний науковець (Theoretical Computer Scientist)

Досліджує фундаментальні основи обчислень: теорію складності, формальні мови, автомати, нерозв'язні задачі, розробляє нові алгоритмічні концепти.