O que são trabalhos teóricos em ciência da computação?

12

Ao lado da academia, que é claramente o lar dos teóricos, estou me perguntando sobre trabalhos industriais relacionados à ciência da computação teórica, aqueles que exigem puro conhecimento matemático.

Felicidades !

usul
fonte
1
Bem, existem empregos trabalhando para empresas que fazem pesquisa pura ou quase pura, mas você pode considerá-las um ramo da academia.
usul
10
Você pode codificar? Você sabe como usar as coisas que aprendeu na escola para projetar algoritmos eficientes para problemas práticos? Você sabe como conversar com engenheiros e descobrir quais são os problemas computacionais vagamente expressos com os quais eles estão pedindo ajuda? Você está interessado em fazer coisas assim?
Peter Shor
9
Não estou descrevendo um único emprego. Trabalhei no Bell Labs / AT & T Labs por 17 anos e estou descrevendo as habilidades que tornam um cientista da computação teórico útil na indústria. Se você não tiver nenhuma dessas habilidades, provavelmente não conseguirá um emprego na indústria (ou, se tiver, não vai durar muito tempo lá). Se você tiver todas essas habilidades, seria valioso para muitos empregadores. Se você pode convencer um possível empregador disso, deve ficar bem.
Peter Shor
2
Adendo? Provavelmente, isso é tendencioso em relação à minha visão do setor de Bell Labs, mas: Obtenha muita prática de codificação. Aprenda muitos algoritmos. Talvez alguma otimização. Faça alguns cursos de modelagem matemática / computacional (sua física ajudará aqui). Encontre um estágio. Talvez você não consiga um emprego na indústria em pesquisa (embora possa ter sorte), mas deve conseguir um emprego na indústria que seja intelectualmente interessante. (Embora se você pretende ir para a computação quântica, que é uma lista diferente de coisas e se você quiser uma carreira fazendo teoria da complexidade, você provavelmente deve estar a olhar para as universidades..)
Peter Shor
2
@Stella Biderman: esses lugares estão desesperados por pessoas que conhecem tanto ciência da computação avançada quanto física quântica. Você não precisa de um doutorado; Espero que todo o conjunto de cursos de graduação em física quântica seja mais do que suficiente.
quer

Respostas:

13

Tenho formação em Teoria da Computação e trabalho na indústria fazendo pesquisas em uma empresa de consultoria. Somos contratados por pessoas que desejam usar vários tipos de modelos de computador e não têm o conhecimento necessário para criá-los. Este é (parcialmente) um trabalho de pesquisa, porque nossos clientes geralmente têm interesses geralmente não abordados na literatura acadêmica e, portanto, nossos contratos geralmente resultam na criação de novos modelos e técnicas que funcionam em seu contexto. Atualmente, estou trabalhando em uma apresentação de pôster para uma conferência acadêmica, embora seja mais na metodologia da ciência política do que na CS.

Meu grupo é especializado em aprendizado de máquina e análise de redes sociais, também conhecida como álgebra linear aplicada e teoria de grafos. Nossos clientes tendem a se interessar em aplicar isso a tópicos como relações internacionais, logística, comércio internacional e segurança cibernética. Meus colegas de trabalho têm formação como PhD em matemática aplicada, PhD em ciências sociais computacionais e mestrado em linguística computacional. Sou o teórico do meu grupo e fui especificamente contratado por meu puro conhecimento em matemática. Trabalho principalmente no projeto e validação de modelos, especialmente na alavancagem de estruturas teóricas de grafos nos fenômenos modelados para informar o design de modelos. Eu também sou a pessoa ideal para investigar novas pesquisas e avaliar como elas se encaixam no que estamos trabalhando atualmente.

Eu apoiaria fortemente a lista de habilidades recomendadas de Peter Shor. A chave para ser um teórico de sucesso na indústria é ser a ponte entre engenheiros, analistas de dados e desenvolvedores, por um lado, e acadêmicos, por outro.

Stella Biderman
fonte
7
"Meu grupo é especializado em aprendizado de máquina e análise de redes sociais, também conhecida como álgebra linear aplicada e teoria de grafos." Essa observação é tão agradável que sou obrigado a expressar minha admiração por ela. :)
Neel Krishnaswami
"consultoria", "ponte entre acadêmicos e engenheiros". Você elaboraria mais? Quais são os domínios em que essas empresas trabalham além do seu exemplo?
1
@Stella Biderman, que você sugere e explicar-me par de domínios relacionados com o que se sobrepõe entre a matemática e computação técnica ?, Em particular teoria da computação
1
E a teoria dos autômatos, linguagens formais, gramáticas formais, teoria da computação ... existe alguma demanda / uso para esses trabalhos industriais?
kate
1
O ToC pode ver uma tonelada de aplicativos ou muito pouco, dependendo do que exatamente está sendo falado. O tema subjacente nos aplicativos que mencionei na minha resposta é a existência de uma estrutura de rede; portanto, uso muito a teoria dos grafos. A teoria dos grafos espectrais está subjacente a muitas abordagens de ponta para análise de rede. A teoria da informação é cada vez mais popular na detecção de anomalias. Por outro lado, a teoria da complexidade e da computabilidade vê muito pouca aplicação porque é relativamente desconectada da computação do mundo real. A complexidade refinada é aquela que considera o uso, como GKR
Stella Biderman
2

John Cook é um Doc que aplica matemática a soluções de empresas https://johndcook.com


fonte