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

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

Ура!

career computational-mathematics

— усул
источник

Что ж, есть рабочие места для компаний, занимающихся чистыми или почти чистыми исследованиями, но вы можете считать их ответвлением академического сообщества.

— Усул

Вы можете написать код? Знаете ли вы, как использовать то, что вы узнали в школе, для разработки эффективных алгоритмов для практических задач? Знаете ли вы, как разговаривать с инженерами и выяснять, в чем в действительности выражаются смутно выраженные вычислительные проблемы, с которыми они обращаются за помощью? Вы вообще заинтересованы в таких вещах?

— Питер Шор

Я не описываю ни одной работы. Я работал в Bell Labs / AT & T Labs в течение 17 лет, и я описываю способности, которые делают теоретического программиста полезным в промышленности. Если у вас нет ни одной из этих способностей, вы, вероятно, не сможете найти работу в промышленности (или, если у вас есть, вы не продержитесь там очень долго). Если у вас есть все эти способности, вы были бы ценны для многих работодателей. Если вы можете убедить потенциального работодателя в этом, у вас все будет хорошо.

— Питер Шор

Совет? Это, вероятно, смещено в сторону моего взгляда Bell Labs на индустрию, но: Получите много практики кодирования. Узнайте много алгоритмов. Может быть, некоторая оптимизация. Пройдите курсы математического / компьютерного моделирования (здесь вам поможет ваша физика). Найти стажировку. Возможно, вы не получите работу в области исследований (хотя вам может повезти), но вы должны быть в состоянии получить работу в отрасли, которая интеллектуально интересна. (Хотя, если вы планируете заняться квантовыми вычислениями, это другой список вещей. И если вы хотите сделать карьеру, занимаясь теорией сложности, вам, вероятно, следует обратить внимание на научные круги.)

— Питер Шор

@Stella Biderman: эти места в настоящее время отчаянно нуждаются для людей, которые знают как передовую информатику, так и квантовую физику. Вам не нужна докторская степень; Я ожидаю, что весь набор курсов квантовой физики для студентов будет более чем достаточно.

— Питер Шор

Ответы:

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

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

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

— Стелла Бидерман
источник

«Моя группа специализируется на машинном обучении и анализе социальных сетей, также известных как прикладная линейная алгебра и теория графов». Это замечание настолько восхитительно, что я вынужден выразить свое восхищение им. :)

— Нил Кришнасвами

"консалтинговая фирма", "мост между учеными и инженерами". Не могли бы вы подробнее рассказать? В каких областях работают эти фирмы, кроме вашего примера?

@Stella Biderman, Не могли бы вы предложить и объяснить мне пару областей, связанных с тем, что частично совпадает между математикой и техническими вычислениями ?, В частности, теория вычислений

А как насчет теории автоматов, формальных языков, формальных грамматик, теории вычислений ... есть ли какие-то требования / использование для них на промышленных работах?

— кейт

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

— Stella Biderman

Джон Кук - доктор, который применяет математику к решениям компаний https://johndcook.com