Quels sont les emplois théoriques en informatique?

A côté du milieu universitaire qui est clairement le berceau des théoriciens, je m'interroge sur les métiers industriels liés à l'informatique théorique, ceux qui demandent une formation mathématique pure.

À votre santé !

career computational-mathematics

— usul
source

Eh bien, il y a des emplois qui travaillent pour des entreprises qui font de la recherche pure ou presque pure, mais vous pourriez les considérer comme une ramification du monde universitaire.

— usul

Pouvez-vous coder? Savez-vous comment utiliser ce que vous avez appris à l'école pour concevoir des algorithmes efficaces pour des problèmes pratiques? Savez-vous comment parler aux ingénieurs et savoir quels sont les problèmes de calcul vaguement exprimés pour lesquels ils demandent de l'aide? Êtes-vous intéressé à faire des choses comme ça?

— Peter Shor

Je ne décris pas un seul travail. J'ai travaillé chez Bell Labs / AT & T Labs pendant 17 ans, et je décris les capacités qui rendent un informaticien théorique utile dans l'industrie. Si vous n'avez aucune de ces capacités, vous ne pourrez probablement pas trouver un emploi dans l'industrie (ou si vous en avez, vous n'y durerez pas très longtemps). Si vous possédez toutes ces capacités, vous seriez utile à de nombreux employeurs. Si vous pouvez convaincre un employeur potentiel de cela, ça devrait aller.

— Peter Shor

Conseil? Ceci est probablement biaisé vers ma vision de l'industrie des Bell Labs, mais: Obtenez beaucoup de codage pratique. Apprenez beaucoup d'algorithmes. Peut-être une optimisation. Suivez des cours de modélisation mathématique / informatique (votre physique vous aidera ici). Trouvez un stage. Peut-être que vous n'obtiendrez pas d'emploi dans l'industrie (bien que vous ayez de la chance), mais vous devriez pouvoir obtenir un emploi dans l'industrie qui soit intellectuellement intéressant. (Bien que si vous envisagez de vous lancer dans l'informatique quantique, c'est une liste de choses différente. Et si vous voulez faire carrière dans la théorie de la complexité, vous devriez probablement vous tourner vers le monde universitaire.)

— Peter Shor

@Stella Biderman: ces lieux sont actuellement désespérés pour les personnes qui connaissent à la fois l'informatique avancée et la physique quantique. Vous n'avez pas besoin d'un doctorat; Je m'attends à ce que l'ensemble des cours de premier cycle en physique quantique soit plus que suffisant.

— Peter Shor

Réponses:

J'ai une formation en théorie des CS et je travaille dans l'industrie en faisant des recherches dans une firme de consultants. Nous sommes embauchés par des personnes qui souhaitent utiliser différents types de modèles informatiques et n'ont pas l'expertise pour les créer elles-mêmes. Il s'agit (partiellement) d'un travail de recherche parce que nos clients ont généralement des intérêts qui ne sont généralement pas abordés dans la littérature universitaire, et donc nos contrats nous amènent généralement à créer de nouveaux modèles et techniques qui fonctionnent dans leur contexte. Je travaille actuellement sur une présentation par affiche pour une conférence académique, bien que sur la méthodologie des sciences politiques plutôt que sur le CS.

Mon groupe est spécialisé dans l'apprentissage automatique et l'analyse des réseaux sociaux, également connu sous le nom d'algèbre linéaire appliquée et de théorie des graphes. Nos clients sont généralement intéressés à appliquer cela à des sujets tels que les relations internationales, la logistique, le commerce international et la cybersécurité. Mes collègues ont des antécédents tels qu'un doctorat en mathématiques appliquées, un doctorat en sciences sociales computationnelles et une maîtrise en linguistique computationnelle. Je suis le théoricien de mon groupe et j'ai été spécifiquement embauché pour mes connaissances en mathématiques pures. Je travaille principalement sur la conception et la validation de modèles, en particulier sur l'exploitation des structures théoriques des graphes dans les phénomènes modélisés pour éclairer la conception de modèles. Je suis également la personne de référence pour enquêter sur de nouvelles recherches et évaluer comment elles s'intègrent dans ce que nous travaillons actuellement.

J'appuie fortement la liste des compétences recommandées de Peter Shor. La clé du succès d'un théoricien de l'industrie est de pouvoir être le pont entre les ingénieurs, les analystes de données et les développeurs, d'une part, et les universitaires, d'autre part.

— Stella Biderman
source

"Mon groupe est spécialisé dans l'apprentissage automatique et l'analyse des réseaux sociaux, également connu sous le nom d'algèbre linéaire appliquée et de théorie des graphes." Cette remarque est si délicieuse que je suis obligé d'en exprimer mon admiration. :)

— Neel Krishnaswami

"cabinet de conseil", "pont entre universitaires et ingénieurs". Pourriez-vous nous en dire plus? Quels sont les domaines sur lesquels ces entreprises travaillent en dehors de votre exemple?

@Stella Biderman, Pourriez-vous me suggérer et m'expliquer quelques domaines liés à ce qui se chevauchent entre les mathématiques et l'informatique?, En particulier la théorie du calcul

Qu'en est-il de la théorie des automates, des langages formels, des grammaires formelles, de la théorie du calcul ... y a-t-il des demandes / utilisations pour ces derniers dans les emplois industriels?

— Kate

ToC peut voir une tonne d'application ou très peu, selon ce dont on parle exactement. Le thème sous-jacent dans les applications que j'ai mentionné dans ma réponse est l'existence d'une structure de réseau, donc j'utilise beaucoup la théorie des graphes. La théorie des graphes spectraux sous-tend de nombreuses approches de pointe pour l'analyse de réseau. La théorie de l'information est de plus en plus populaire dans la détection d'anomalies. D'un autre côté, la théorie de la complexité et de la calculabilité voit très très peu d'application car elle est relativement déconnectée de l'informatique du monde réel. La complexité à grain fin est celle qui est utilisée, comme GKR

— Stella Biderman

John Cook est un Doc qui applique les mathématiques aux solutions des entreprises https://johndcook.com