У меня есть стойкое ощущение, что диссертации, связанные с ПО, в основном связаны с некой интеграцией сущ. подходов, если только не разрабатываются сложные алгоритмы и т.п., что бывает больше в работах к. ф-м. н.
Довольно трудно встретить на уровне кандидатской что-то действительно новое...
Ну и есть ощущение, что практически про любую вещь в ПО можно сказать, что это уже в том или ином виде есть. То есть, при желании можно размазать любую диссертацию об стенку. В этом-то и проблема. Новизна часто бывает весьма натянутой. Если серьезно придраться, почти каждую диссертацию можно низвести до уровня магистерской работы

Ну не сказал бы. Это просто особенность ИТ РФ :-) У нас крайне низкий уровень исследований по этой тематике.
А так задач там - мама не горюй. Чтобы не быть голословным, например регулирование скорости в TCP. Благодатнейшая тематика для создания каких-то своих алгоритмов на базе различных мат. моделей. Если брать другое ПО, в ООП можно вводить различные концепты, http://en.wikipedia.org/wiki/Singlet...rn#cite_note-0 например.