Công việc khoa học máy tính lý thuyết là gì?

12

Bên cạnh học viện rõ ràng là ngôi nhà của các nhà lý thuyết, tôi tự hỏi về các công việc công nghiệp liên quan đến khoa học máy tính lý thuyết, những ngành đòi hỏi nền tảng toán học thuần túy.

Chúc mừng!

career  computational-mathematics 
— sử dụng
nguồn
1
Vâng, có những công việc làm việc cho các công ty thực hiện nghiên cứu thuần túy hoặc gần như thuần túy, nhưng bạn có thể coi chúng là một nhánh của học viện.
— usul
10
Bạn có thể mã? Bạn có biết cách sử dụng những thứ bạn học được ở trường để thiết kế các thuật toán hiệu quả cho các vấn đề thực tế không? Bạn có biết làm thế nào để nói chuyện với các kỹ sư và tìm ra những vấn đề tính toán được thể hiện mơ hồ mà họ đang yêu cầu giúp đỡ thực sự là gì không? Bạn có thích làm những việc như thế này không?
— Peter Shor
9
Tôi không mô tả một công việc duy nhất. Tôi đã làm việc tại Bell Labs / AT & T Labs trong 17 năm và tôi đang mô tả các khả năng làm cho một nhà khoa học máy tính lý thuyết trở nên hữu ích trong ngành công nghiệp. Nếu bạn không có bất kỳ khả năng nào trong số này, có lẽ bạn sẽ không thể tìm được một công việc trong ngành (hoặc nếu bạn làm thế, bạn sẽ không tồn tại được lâu ở đó). Nếu bạn có tất cả những khả năng này, bạn sẽ có giá trị đối với nhiều nhà tuyển dụng. Nếu bạn có thể thuyết phục một nhà tuyển dụng tiềm năng về điều này, bạn sẽ ổn thôi.
— Peter Shor
2
Lời khuyên? Điều này có lẽ thiên về quan điểm của Bell Labs về ngành công nghiệp của tôi, nhưng: Nhận được nhiều mã hóa thực hành. Học nhiều thuật toán. Có thể một số tối ưu hóa. Tham gia một số khóa học mô hình hóa / tính toán (vật lý của bạn sẽ giúp ở đây). Tìm một công việc thực tập. Có thể bạn sẽ không có được một công việc trong ngành nghiên cứu (mặc dù bạn có thể may mắn), nhưng bạn sẽ có thể có được một công việc công nghiệp thú vị về mặt trí tuệ. (Mặc dù nếu bạn có kế hoạch để đi vào máy tính lượng tử, đó là một danh sách khác nhau của công cụ Và nếu bạn muốn có một sự nghiệp làm lý thuyết phức tạp, có lẽ bạn nên nhìn vào học viện..)
— Peter Shor
2
@Stella Biderman: những nơi này hiện đang tuyệt vọng cho những người biết cả khoa học máy tính và vật lý lượng tử tiên tiến. Bạn không cần bằng tiến sĩ; Tôi hy vọng toàn bộ các khóa học vật lý lượng tử đại học sẽ là quá đủ.
— Peter Shor

Câu trả lời:

13

Tôi có một nền tảng lý thuyết CS và làm việc trong ngành nghiên cứu tại một công ty tư vấn. Chúng tôi được thuê bởi những người muốn sử dụng các loại mô hình máy tính khác nhau và không có chuyên môn để tự tạo ra chúng. Đây là (một phần) một công việc nghiên cứu vì khách hàng của chúng tôi thường có lợi ích thường không được giải quyết trong tài liệu học thuật, và vì vậy các hợp đồng của chúng tôi thường dẫn đến việc chúng tôi tạo ra các mô hình và kỹ thuật mới hoạt động trong bối cảnh của họ. Tôi hiện đang làm việc trên một bài thuyết trình poster cho một hội nghị học thuật, mặc dù một trong phương pháp luận khoa học chính trị chứ không phải CS.

Nhóm của tôi chuyên về máy học và phân tích mạng xã hội, còn được gọi là đại số tuyến tính và lý thuyết đồ thị. Khách hàng của chúng tôi có xu hướng quan tâm đến việc áp dụng điều này cho các chủ đề như quan hệ quốc tế, hậu cần, thương mại quốc tế và an ninh mạng. Các đồng nghiệp của tôi có nền tảng như Tiến sĩ toán học ứng dụng, Tiến sĩ khoa học xã hội tính toán và thạc sĩ ngôn ngữ học tính toán. Tôi là nhà lý luận trong nhóm của tôi và được thuê đặc biệt cho kiến ​​thức toán học thuần túy của tôi. Tôi chủ yếu làm việc về thiết kế mô hình và xác nhận, đặc biệt là tận dụng các cấu trúc lý thuyết đồ thị trong các hiện tượng được mô hình hóa để thông báo cho thiết kế mô hình. Tôi cũng là người đầu tiên nghiên cứu nghiên cứu mới và đánh giá xem nó phù hợp với những gì chúng ta hiện đang làm việc.

Tôi mạnh mẽ thứ hai danh sách các kỹ năng được đề nghị của Peter Shor. Chìa khóa để trở thành một nhà lý luận thành công trong công nghiệp là có thể trở thành cầu nối giữa các kỹ sư, nhà phân tích dữ liệu và nhà phát triển một mặt và mặt khác là các học giả.

— Stella thầu
nguồn
7
"Nhóm của tôi chuyên về máy học và phân tích mạng xã hội, còn được gọi là đại số tuyến tính và lý thuyết đồ thị." Nhận xét này rất thú vị, tôi buộc phải bày tỏ sự ngưỡng mộ của tôi đối với nó. :)
— Neel Krishnaswami
"Công ty tư vấn", "cầu nối giữa các học giả và kỹ sư". Bạn sẽ giải thích thêm? Các lĩnh vực mà các công ty làm việc trên ví dụ của bạn là gì?
1
@Stella Biderman, bạn có thể gợi ý và giải thích cho tôi một vài lĩnh vực liên quan đến sự trùng lặp giữa toán học và máy tính kỹ thuật không?, Đặc biệt là lý thuyết tính toán
1
Thế còn lý thuyết về automata, ngôn ngữ chính thức, ngữ pháp chính thức, lý thuyết tính toán .... có bất kỳ nhu cầu / cách sử dụng nào trong những công việc công nghiệp này không?
— kate
1
ToC có thể thấy rất nhiều ứng dụng hoặc rất ít, tùy thuộc vào chính xác những gì đang được nói đến. Chủ đề cơ bản trong các ứng dụng tôi đã đề cập trong câu trả lời của mình là sự tồn tại của cấu trúc mạng, vì vậy tôi sử dụng lý thuyết đồ thị rất nhiều. Lý thuyết đồ thị phổ làm cơ sở cho rất nhiều phương pháp tiên tiến để phân tích mạng. Lý thuyết thông tin ngày càng phổ biến trong phát hiện bất thường. Mặt khác, lý thuyết phức tạp và khả năng tính toán nhìn thấy rất ít ứng dụng vì nó tương đối bị ngắt kết nối với máy tính trong thế giới thực. Độ phức tạp hạt mịn là một trong số đó được sử dụng, chẳng hạn như GKR
— Stella Biderman
2

John Cook là một bác sĩ áp dụng toán học cho các giải pháp của công ty https://johndcook.com

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.