이론적 인 컴퓨터 과학 직업은 무엇입니까?

분명히 이론가들의 고향 인 학계 외에도, 순수한 수학적 배경을 요구하는 이론 컴퓨터 과학과 관련된 산업 직업에 대해 궁금합니다.

건배!

career computational-mathematics

— usul
소스

순수하거나 거의 순수한 연구를 수행하는 회사에서 일하는 직업이 있지만 학계에서 파생 된 것으로 간주 할 수 있습니다.

— usul

코딩 할 수 있습니까? 학교에서 배운 것들을 사용하여 실용적인 문제에 대한 효율적인 알고리즘을 설계하는 방법을 알고 있습니까? 엔지니어와 대화하는 방법을 알고 그들이 실제로 도움을 요청하는 모호하게 표현 된 계산 문제를 파악하고 있습니까? 이런 일을하는 데 관심이 있습니까?

— 피터 쇼어

나는 하나의 직업을 설명하지 않습니다. 저는 Bell Labs / AT & T Labs에서 17 년간 일했으며 이론적 인 컴퓨터 과학자가 산업에서 유용하게 사용할 수있는 능력을 설명하고 있습니다. 이러한 능력이 없다면 산업계에서 일자리를 찾을 수 없을 것입니다 (그렇다면 그렇게 오래 가지 못할 것입니다). 이러한 능력을 모두 갖추고 있다면 많은 고용주에게 귀중 할 것입니다. 잠재적 인 고용주를 설득 할 수 있다면 괜찮을 것입니다.

— 피터 쇼어

조언? 이것은 업계에 대한 Bell Labs의 관점에 편향되어 있지만 연습 코딩을 많이하십시오. 많은 알고리즘을 배우십시오. 어쩌면 일부 최적화 일 수도 있습니다. 수학 / 계산 모델링 과정을 수강하십시오 (물리학이 여기서 도움을 줄 것입니다). 인턴쉽을 찾으십시오. 아마도 당신은 연구에서 산업계 일자리를 얻지 못할 수도 있지만 (운이 좋더라도) 지적으로 흥미로운 산업계 일자리를 얻을 수있을 것입니다. (양자 컴퓨팅으로 갈 계획이더라도, 그것은 다른 것들의 목록입니다. 그리고 복잡한 이론을 수행하는 직업을 원한다면 아마도 학계를보고있을 것입니다.)

— Peter Shor

@Stella Biderman :이 장소는 현재 고급 컴퓨터 과학과 양자 물리학을 모두 알고있는 사람들에게 절망적입니다. 당신은 박사가 필요하지 않습니다; 학부 양자 물리학 과정 전체가 충분할 것으로 기대합니다.

— Peter Shor

답변:

CS 이론 배경을 가지고 있으며 컨설팅 회사에서 연구를 수행하는 업계에서 일하고 있습니다. 우리는 다양한 유형의 컴퓨터 모델을 사용하고 싶지만 스스로 만들 수있는 전문 지식이없는 사람들이 채용합니다. 이는 고객이 일반적으로 학술 문헌에 관심을 갖지 않기 때문에 (부분적으로) 연구 작업이므로 계약을 체결하면 일반적으로 상황에 맞는 새로운 모델과 기술이 만들어집니다. 저는 현재 CS가 아닌 정치 과학 방법론을 통해 학술 회의를위한 포스터 프레젠테이션을 진행하고 있습니다.

우리 그룹은 응용 선형 대수학 및 그래프 이론으로도 알려진 기계 학습 및 소셜 네트워크 분석을 전문으로합니다. 고객은 국제 관계, 물류, 국제 무역 및 사이버 보안과 같은 주제에 이것을 적용하는 데 관심이 있습니다. 저의 동료들은 응용 수학 박사, 전산 사회 과학 박사, 전산 언어학 석사와 같은 배경을 가지고 있습니다. 나는 우리 그룹의 이론가이고 특별히 순수한 수학 지식을 위해 고용되었습니다. 저는 주로 모델 설계 및 검증, 특히 모델 설계에 정보를 제공하기 위해 모델링되는 현상에서 그래프 이론 구조를 활용하는 작업을합니다. 나는 또한 새로운 연구를 조사하고 그것이 현재 우리가 일하고있는 것에 어떻게 적용되는지 평가하는 데 중요한 사람입니다.

Peter Shor의 추천 기술 목록을 강력하게 두 번째로 살펴 보겠습니다. 업계에서 성공적인 이론가가되는 비결은 엔지니어, 데이터 분석가 및 개발자가 다른 한편으로는 학자와의 다리가 될 수 있다는 것입니다.

— 스텔라 비더 맨
소스

"우리 그룹은 응용 선형 대수학 및 그래프 이론으로도 알려진 기계 학습 및 소셜 네트워크 분석을 전문으로합니다." 이 발언은 매우 기쁩니다. :)

— Neel Krishnaswami

"컨설팅 회사", "학자와 엔지니어 사이의 다리". 더 자세히 설명 하시겠습니까? 그 회사들이 당신의 모범을 제외하고 일하는 도메인은 무엇입니까?

@Stella Biderman, 수학과 기술 컴퓨팅의 겹치는 부분과 관련된 몇 가지 영역을 제안하고 설명해 주시겠습니까?, 특히 계산 이론

오토마타 이론, 공식 언어, 공식 문법, 계산 이론 등은 어떻습니까? 산업 산업에서 이들에 대한 요구 / 사용이 있습니까?

— kate

ToC는 정확히 무슨 말을하는지에 따라 많은 응용 프로그램을 볼 수 있습니다. 내 대답에서 언급 한 응용 프로그램의 기본 주제는 네트워크 구조의 존재이므로 그래프 이론을 많이 사용합니다. 스펙트럼 그래프 이론은 네트워크 분석을위한 많은 최첨단 접근법에 기초합니다. 정보 이론은 변칙 탐지에서 점점 더 대중화되고 있습니다. 반면에 복잡성 및 계산 가능성 이론은 실제 컴퓨팅과의 연결이 끊어지기 때문에 응용 프로그램이 매우 적습니다. 세밀한 복잡성은 GKR과 같은 사용을 보는 것 중 하나입니다.

— Stella Biderman

John Cook은 회사 솔루션에 수학을 적용하는 문서입니다 https://johndcook.com