¿Qué son los trabajos teóricos de informática?

Además de la academia, que es claramente el hogar de los teóricos, me pregunto acerca de los trabajos industriales relacionados con la informática teórica, los que exigen una base matemática pura.

Salud !

career computational-mathematics

— usul
fuente

Bueno, hay trabajos que trabajan para empresas que realizan investigaciones puras o casi puras, pero podría considerarlas una rama de la academia.

— usul

¿Puedes codificar? ¿Sabes cómo usar lo que aprendiste en la escuela para diseñar algoritmos eficientes para problemas prácticos? ¿Sabes cómo hablar con los ingenieros y descubrir cuáles son los problemas computacionales expresados vagamente en los que realmente están pidiendo ayuda? ¿Estás interesado en hacer cosas como esta?

— Peter Shor

No estoy describiendo un solo trabajo. Trabajé en Bell Labs / AT&T Labs durante 17 años, y estoy describiendo las habilidades que hacen que un científico teórico en informática sea útil en la industria. Si no tiene ninguna de estas habilidades, probablemente no podrá encontrar un trabajo en la industria (o si lo tiene, no durará mucho allí). Si tiene todas estas habilidades, sería valioso para muchos empleadores. Si puede persuadir a un posible empleador de esto, debería estar bien.

— Peter Shor

¿Consejo? Esto probablemente esté sesgado hacia mi visión de la industria de Bell Labs, pero: Obtenga mucha práctica de codificación. Aprende muchos algoritmos. Quizás alguna optimización. Tome algunos cursos de modelado matemático / computacional (su física lo ayudará aquí). Encuentra una pasantía. Tal vez no obtendrá un trabajo en la industria en la investigación (aunque podría tener suerte), pero debería ser capaz de obtener un trabajo en la industria que sea intelectualmente interesante. (Aunque si planeas ingresar a la computación cuántica, es una lista diferente de cosas. Y si quieres una carrera haciendo teoría de la complejidad, probablemente deberías estar estudiando en la academia)

— Peter Shor

@Stella Biderman: estos lugares actualmente están desesperados por personas que conocen tanto la informática avanzada como la física cuántica. No necesitas un doctorado; Espero que todo el conjunto de cursos de pregrado de física cuántica sea más que suficiente.

— Peter Shor

Respuestas:

Tengo experiencia en Teoría de CS y trabajo en la industria haciendo investigación en una empresa de consultoría. Nos contratan personas que quieren usar varios tipos de modelos de computadora y no tienen la experiencia para crearlos ellos mismos. Este es (parcialmente) un trabajo de investigación porque nuestros clientes generalmente tienen intereses generalmente no abordados en la literatura académica, por lo que nuestros contratos generalmente nos llevan a crear nuevos modelos y técnicas que funcionan en su contexto. Actualmente estoy trabajando en una presentación de póster para una conferencia académica, aunque en una metodología de ciencias políticas en lugar de CS.

Mi grupo se especializa en aprendizaje automático y análisis de redes sociales, también conocido como álgebra lineal aplicada y teoría de grafos. Nuestros clientes tienden a estar interesados en aplicar esto a temas como relaciones internacionales, logística, comercio internacional y seguridad cibernética. Mis compañeros de trabajo tienen antecedentes como un doctorado en matemáticas aplicadas, un doctorado en ciencias sociales computacionales y una maestría en lingüística computacional. Soy el teórico de mi grupo y me contrataron específicamente por mis conocimientos matemáticos puros. Principalmente trabajo en diseño y validación de modelos, especialmente en el aprovechamiento de estructuras teóricas de gráficos en los fenómenos que se modelan para informar el diseño del modelo. También soy la persona clave para investigar nuevas investigaciones y evaluar cómo encaja en lo que estamos trabajando actualmente.

Yo apoyaría fuertemente la lista de habilidades recomendadas de Peter Shor. La clave para ser un teórico exitoso en la industria es ser el puente entre ingenieros, analistas de datos y desarrolladores, por un lado, y académicos, por el otro.

— Stella Biderman
fuente

"Mi grupo se especializa en aprendizaje automático y análisis de redes sociales, también conocido como álgebra lineal aplicada y teoría de grafos". Este comentario es tan delicioso que me veo obligado a expresar mi admiración por él. :)

— Neel Krishnaswami

"empresa de consultoría", "puente entre académicos e ingenieros". ¿Elaborarías más? ¿Cuáles son los dominios en los que trabajan esas empresas, aparte de su ejemplo?

@Stella Biderman, ¿Podría sugerirme y explicarme un par de dominios relacionados con las superposiciones entre las matemáticas y la informática técnica? En particular, la teoría de la computación

¿Qué pasa con la teoría de los autómatas, los lenguajes formales, las gramáticas formales, la teoría de la computación ... hay alguna demanda / uso de estos en trabajos industriales?

— Kate

ToC puede ver un montón de aplicaciones o muy poco, dependiendo de qué se está hablando exactamente. El tema subyacente en las aplicaciones que mencioné en mi respuesta es la existencia de una estructura de red, por lo que uso mucho la teoría de gráficos. La teoría de grafos espectrales subyace a muchos enfoques de vanguardia para el análisis de redes. La teoría de la información es cada vez más popular en la detección de anomalías. Por otro lado, la teoría de la complejidad y la computabilidad ve muy poca aplicación porque está relativamente desconectada de la informática del mundo real. La complejidad de grano fino es algo que se usa, como GKR

— Stella Biderman

John Cook es un Doc que aplica las matemáticas a las soluciones de las empresas https://johndcook.com