Что такое теоретические работы по информатике?

12

Помимо научных кругов, которые, несомненно, являются домом для теоретиков, меня интересуют промышленные работы, связанные с теоретической информатикой, которые требуют чисто математического образования.

Ура!

усул
источник
1
Что ж, есть рабочие места для компаний, занимающихся чистыми или почти чистыми исследованиями, но вы можете считать их ответвлением академического сообщества.
Усул
10
Вы можете написать код? Знаете ли вы, как использовать то, что вы узнали в школе, для разработки эффективных алгоритмов для практических задач? Знаете ли вы, как разговаривать с инженерами и выяснять, в чем в действительности выражаются смутно выраженные вычислительные проблемы, с которыми они обращаются за помощью? Вы вообще заинтересованы в таких вещах?
Питер Шор
9
Я не описываю ни одной работы. Я работал в Bell Labs / AT & T Labs в течение 17 лет, и я описываю способности, которые делают теоретического программиста полезным в промышленности. Если у вас нет ни одной из этих способностей, вы, вероятно, не сможете найти работу в промышленности (или, если у вас есть, вы не продержитесь там очень долго). Если у вас есть все эти способности, вы были бы ценны для многих работодателей. Если вы можете убедить потенциального работодателя в этом, у вас все будет хорошо.
Питер Шор
2
Совет? Это, вероятно, смещено в сторону моего взгляда Bell Labs на индустрию, но: Получите много практики кодирования. Узнайте много алгоритмов. Может быть, некоторая оптимизация. Пройдите курсы математического / компьютерного моделирования (здесь вам поможет ваша физика). Найти стажировку. Возможно, вы не получите работу в области исследований (хотя вам может повезти), но вы должны быть в состоянии получить работу в отрасли, которая интеллектуально интересна. (Хотя, если вы планируете заняться квантовыми вычислениями, это другой список вещей. И если вы хотите сделать карьеру, занимаясь теорией сложности, вам, вероятно, следует обратить внимание на научные круги.)
Питер Шор
2
@Stella Biderman: эти места в настоящее время отчаянно нуждаются для людей, которые знают как передовую информатику, так и квантовую физику. Вам не нужна докторская степень; Я ожидаю, что весь набор курсов квантовой физики для студентов будет более чем достаточно.
Питер Шор

Ответы:

13

Я имею опыт работы с теорией CS и работаю в отрасли, занимаясь исследованиями в консалтинговой фирме. Нас нанимают люди, которые хотят использовать различные типы компьютерных моделей и не имеют опыта в их создании. Это (частично) исследовательская работа, потому что у наших клиентов обычно есть интересы, не затронутые в академической литературе, и поэтому наши контракты обычно приводят к тому, что мы создаем новые модели и методы, которые работают в их контексте. В настоящее время я работаю над стендовой презентацией для научной конференции, хотя и по методологии политологии, а не по КС.

Моя группа специализируется на машинном обучении и анализе социальных сетей, также известных как прикладная линейная алгебра и теория графов. Наши клиенты, как правило, заинтересованы в применении этого к таким темам, как международные отношения, логистика, международная торговля и кибербезопасность. Мои коллеги имеют опыт работы в таких областях, как доктор философии по прикладной математике, доктор наук по вычислительной социальной науке и магистры компьютерной лингвистики. Я теоретик в своей группе и был специально нанят для моих знаний чистой математики. Я в основном работаю над проектированием и проверкой модели, особенно над использованием теоретико-графических структур в явлениях, моделируемых для информирования модели. Я также являюсь ответственным лицом для изучения новых исследований и оценки того, как они вписываются в то, что мы в настоящее время работаем.

Я настоятельно рекомендую список рекомендуемых навыков Питера Шора. Ключ к тому, чтобы стать успешным теоретиком в отрасли, - это быть мостом между инженерами, аналитиками данных и разработчиками, с одной стороны, и учеными - с другой.

Стелла Бидерман
источник
7
«Моя группа специализируется на машинном обучении и анализе социальных сетей, также известных как прикладная линейная алгебра и теория графов». Это замечание настолько восхитительно, что я вынужден выразить свое восхищение им. :)
Нил Кришнасвами
"консалтинговая фирма", "мост между учеными и инженерами". Не могли бы вы подробнее рассказать? В каких областях работают эти фирмы, кроме вашего примера?
1
@Stella Biderman, Не могли бы вы предложить и объяснить мне пару областей, связанных с тем, что частично совпадает между математикой и техническими вычислениями ?, В частности, теория вычислений
1
А как насчет теории автоматов, формальных языков, формальных грамматик, теории вычислений ... есть ли какие-то требования / использование для них на промышленных работах?
кейт
1
ToC может видеть тонну приложений или очень мало, в зависимости от того, о чем конкретно говорят. Основной темой в приложениях, которые я упомянул в своем ответе, является наличие сетевой структуры, поэтому я часто использую теорию графов. Теория спектральных графов лежит в основе многих передовых подходов к сетевому анализу. Теория информации становится все более популярной в обнаружении аномалий. С другой стороны, теория сложности и вычислимости находит очень небольшое применение, поскольку она относительно не связана с реальными вычислениями. Мелкозернистая сложность - это то, что находит применение, например, GKR
Stella Biderman