Apa pekerjaan teori ilmu komputer?

12

Selain akademisi yang jelas merupakan rumah bagi para ahli teori, saya bertanya-tanya tentang pekerjaan industri yang berkaitan dengan ilmu komputer teoretis, yang menuntut latar belakang matematika murni.

Bersulang !

usul
sumber
1
Ya, ada pekerjaan yang bekerja untuk perusahaan yang melakukan penelitian murni atau hampir murni, tetapi Anda mungkin menganggapnya sebagai bagian dari akademisi.
usul
10
Bisakah Anda kode? Apakah Anda tahu cara menggunakan hal-hal yang Anda pelajari di sekolah untuk merancang algoritma yang efisien untuk masalah praktis? Apakah Anda tahu cara berbicara dengan insinyur dan mencari tahu apa masalah komputasi yang diekspresikan samar-samar yang mereka minta bantuan dengan sebenarnya? Apakah Anda tertarik melakukan hal seperti ini?
Peter Shor
9
Saya tidak menggambarkan satu pekerjaan. Saya bekerja di Bell Labs / AT & T Labs selama 17 tahun, dan saya menjelaskan kemampuan yang membuat ilmuwan komputer teoretis berguna dalam industri. Jika Anda tidak memiliki kemampuan ini, Anda mungkin tidak akan dapat menemukan pekerjaan di industri (atau jika Anda melakukannya, Anda tidak akan bertahan lama di sana). Jika Anda memiliki semua kemampuan ini, Anda akan berharga bagi banyak perusahaan. Jika Anda dapat meyakinkan calon majikan tentang hal ini, Anda harus baik-baik saja.
Peter Shor
2
Nasihat? Ini mungkin bias terhadap pandangan Bell Labs saya tentang industri, tetapi: Dapatkan banyak kode praktik. Pelajari banyak algoritma. Mungkin beberapa optimasi. Ikuti kursus pemodelan matematika / komputasi (fisika Anda akan membantu di sini). Temukan magang. Mungkin Anda tidak akan mendapatkan pekerjaan industri dalam penelitian (meskipun Anda mungkin beruntung), tetapi Anda harus bisa mendapatkan pekerjaan industri yang menarik secara intelektual. (Meskipun jika Anda berencana untuk masuk ke komputasi kuantum, itu adalah daftar hal yang berbeda. Dan jika Anda ingin karier yang melakukan teori kompleksitas, Anda mungkin harus melihat akademisi.)
Peter Shor
2
@Stella Biderman: tempat-tempat ini saat ini sangat membutuhkan orang-orang yang mengenal ilmu komputer canggih dan fisika kuantum. Anda tidak perlu gelar PhD; Saya berharap seluruh rangkaian program studi fisika kuantum sarjana akan lebih dari cukup.
Peter Shor

Jawaban:

13

Saya memiliki latar belakang Teori CS dan bekerja di industri melakukan penelitian di sebuah perusahaan konsultan. Kami disewa oleh orang-orang yang ingin menggunakan berbagai jenis model komputer dan tidak memiliki keahlian untuk membuatnya sendiri. Ini (sebagian) merupakan pekerjaan penelitian karena klien kami biasanya memiliki minat yang biasanya tidak tertangani dalam literatur akademik, sehingga kontrak kami biasanya menghasilkan kami menciptakan model dan teknik baru yang berfungsi dalam konteks mereka. Saat ini saya sedang mengerjakan presentasi poster untuk konferensi akademik, meskipun satu dalam metodologi ilmu politik daripada CS.

Grup saya berspesialisasi dalam pembelajaran mesin dan analisis jaringan sosial, juga dikenal sebagai teori aljabar dan grafik linier. Klien kami cenderung tertarik untuk menerapkan ini pada topik seperti hubungan internasional, logistik, perdagangan internasional, dan keamanan cyber. Rekan kerja saya memiliki latar belakang seperti PhD dalam matematika terapan, PhD dalam ilmu sosial komputasi, dan master dalam linguistik komputasi. Saya ahli teori dalam grup saya dan secara khusus disewa untuk pengetahuan matematika murni saya. Saya terutama bekerja pada desain model dan validasi, terutama pada pengungkitan struktur teori graf dalam fenomena yang dimodelkan untuk menginformasikan desain model. Saya juga orang inti untuk menyelidiki penelitian baru dan mengevaluasi bagaimana hal itu cocok dengan apa yang saat ini kami kerjakan.

Saya akan sangat merekomendasikan daftar keterampilan yang direkomendasikan oleh Peter Shor. Kunci untuk menjadi ahli teori yang sukses dalam industri adalah untuk dapat menjadi jembatan antara insinyur, analis data, dan pengembang di satu sisi dan akademisi di sisi lain.

Stella Biderman
sumber
7
"Grup saya berspesialisasi dalam pembelajaran mesin dan analisis jaringan sosial, juga dikenal sebagai aljabar linier dan teori grafik." Pernyataan ini sangat menyenangkan sehingga saya terpaksa mengungkapkan kekaguman saya untuk itu. :)
Neel Krishnaswami
"perusahaan konsultan", "jembatan antara akademisi dan insinyur". Maukah Anda menjelaskan lebih lanjut? Apa domain yang dikerjakan oleh perusahaan-perusahaan itu selain dari contoh Anda?
1
@Stella Biderman, Maukah Anda menyarankan dan menjelaskan kepada saya beberapa domain yang terkait dengan apa yang tumpang tindih antara matematika dan komputasi teknis ?, khususnya teori perhitungan
1
Bagaimana dengan teori automata, bahasa formal, tata bahasa formal, teori perhitungan .... apakah ada tuntutan / penggunaan untuk ini dalam pekerjaan industri?
Kate
1
ToC dapat melihat satu ton aplikasi atau sangat sedikit, tergantung pada apa yang sebenarnya dibicarakan. Tema yang mendasari aplikasi yang saya sebutkan dalam jawaban saya adalah keberadaan struktur jaringan, jadi saya sering menggunakan teori grafik. Teori grafik spektral mendasari banyak pendekatan canggih untuk analisis jaringan. Teori informasi semakin populer dalam pendeteksian anomali. Di sisi lain, teori kompleksitas dan komputasi melihat aplikasi yang sangat sedikit karena relatif terputus dari komputasi dunia nyata. Kompleksitas berbutir halus adalah salah satu yang dapat digunakan, seperti GKR
Stella Biderman
2

John Cook adalah seorang Doc yang menerapkan solusi matematika untuk perusahaan https://johndcook.com


sumber