Jakie są teoretyczne prace informatyczne?

12

Poza środowiskiem akademickim, które jest wyraźnie domem teoretyków, zastanawiam się nad pracami przemysłowymi związanymi z informatyką teoretyczną, tymi, które wymagają czystego tła matematycznego.

Twoje zdrowie !

usul
źródło
1
Cóż, są miejsca pracy dla firm prowadzących czyste lub prawie czyste badania, ale możesz uznać je za pochodną środowiska akademickiego.
usul
10
Umiesz kodować? Czy wiesz, jak wykorzystać rzeczy, których nauczyłeś się w szkole, do projektowania wydajnych algorytmów praktycznych problemów? Czy wiesz, jak rozmawiać z inżynierami i dowiedzieć się, jakie naprawdę są niejasne problemy obliczeniowe, o które proszą o pomoc? Czy jesteś w ogóle zainteresowany robieniem takich rzeczy?
Peter Shor,
9
Nie opisuję ani jednej pracy. Pracowałem w Bell Labs / AT & T Labs przez 17 lat i opisuję umiejętności, dzięki którym teoretyczny informatyk jest przydatny w przemyśle. Jeśli nie masz żadnej z tych umiejętności, prawdopodobnie nie będziesz w stanie znaleźć pracy w branży (lub jeśli tak, to nie przetrwasz tam zbyt długo). Jeśli posiadasz wszystkie te umiejętności, byłbyś cenny dla wielu pracodawców. Jeśli możesz przekonać potencjalnego pracodawcę, powinieneś być w porządku.
Peter Shor,
2
Rada? Jest to prawdopodobnie stronnicze w stosunku do mojego poglądu Bell Labs na branżę, ale: Zdobądź dużo praktyki kodowania. Naucz się wielu algorytmów. Może trochę optymalizacji. Weź udział w kursach modelowania matematycznego / obliczeniowego (tutaj pomoże ci fizyka). Znajdź staż. Może nie dostaniesz pracy w branży badawczej (choć możesz mieć szczęście), ale powinieneś być w stanie znaleźć pracę w branży, która jest interesująca intelektualnie. (Chociaż jeśli planujesz zająć się informatyką kwantową, jest to inna lista rzeczy. A jeśli chcesz kariery zajmującej się teorią złożoności, prawdopodobnie powinieneś spojrzeć na środowisko akademickie.)
Peter Shor
2
@Stella Biderman: miejsca te są obecnie rozpaczliwe dla osób znających zarówno zaawansowaną informatykę, jak i fizykę kwantową. Nie potrzebujesz doktoratu; Oczekuję, że cały pakiet licencjackich kursów fizyki kwantowej byłby więcej niż wystarczający.
Peter Shor,

Odpowiedzi:

13

Mam doświadczenie w teorii CS i pracuję w branży, prowadząc badania w firmie konsultingowej. Zatrudniają nas ludzie, którzy chcą korzystać z różnego rodzaju modeli komputerów i nie mają specjalistycznej wiedzy, aby samodzielnie je tworzyć. Jest to (częściowo) praca badawcza, ponieważ nasi klienci zwykle mają zainteresowania, które zwykle nie są omawiane w literaturze akademickiej, a zatem nasze umowy zwykle powodują, że tworzymy nowe modele i techniki, które działają w ich kontekście. Obecnie pracuję nad prezentacją plakatu na konferencję naukową, choć jedną z metodologii politologii zamiast CS.

Moja grupa specjalizuje się w uczeniu maszynowym i analizie sieci społecznościowych, znanej również jako stosowana algebra liniowa i teoria grafów. Nasi klienci są zainteresowani zastosowaniem tego do takich zagadnień, jak stosunki międzynarodowe, logistyka, handel międzynarodowy i bezpieczeństwo cybernetyczne. Moi współpracownicy mają doświadczenie, takie jak doktorat z matematyki stosowanej, doktorat z zakresu obliczeniowej nauk społecznych i mistrz z lingwistyki komputerowej. Jestem teoretykiem w mojej grupie i zostałem zatrudniony specjalnie dla mojej czystej wiedzy matematycznej. Pracuję przede wszystkim nad projektowaniem i walidacją modeli, szczególnie nad wykorzystaniem struktur teoretycznych grafów w modelowanych zjawiskach w celu kształtowania modelu. Jestem także osobą, która może badać nowe badania i oceniać, w jaki sposób pasują one do tego, co obecnie pracujemy.

Zdecydowanie poparłbym listę zalecanych umiejętności Petera Shora. Kluczem do sukcesu jako teoretyk w przemyśle jest bycie pomostem między inżynierami, analitykami danych i programistami z jednej strony, a naukowcami z drugiej.

Stella Biderman
źródło
7
„Moja grupa specjalizuje się w uczeniu maszynowym i analizach sieci społecznościowych, znanych również jako stosowana algebra liniowa i teoria grafów”. Ta uwaga jest tak zachwycająca, że ​​jestem zmuszony wyrazić swój podziw. :)
Neel Krishnaswami,
„firma konsultingowa”, „pomost między naukowcami a inżynierami”. Czy rozwinąłbyś więcej? W jakich domenach te firmy pracują obok twojego przykładu?
1
@Stella Biderman, Czy mógłbyś zasugerować i wyjaśnić mi kilka domen związanych z tym, co nakłada się na matematykę i informatykę techniczną? W szczególności teoria obliczeń
1
A co z teorią automatów, językami formalnymi, gramatykami formalnymi, teorią obliczeń… czy są jakieś wymagania / zastosowania w pracy przemysłowej?
kate
1
ToC może zobaczyć masę aplikacji lub bardzo niewiele, w zależności od tego, o czym dokładnie się mówi. Motywem przewodnim aplikacji, o których wspomniałem w mojej odpowiedzi, jest istnienie struktury sieci, więc często używam teorii grafów. Teoria grafów spektralnych stanowi podstawę wielu nowatorskich metod analizy sieci. Teoria informacji jest coraz bardziej popularna w wykrywaniu anomalii. Z drugiej strony, teoria złożoności i obliczalności widzi bardzo mało zastosowań, ponieważ jest względnie niezależna od obliczeń w świecie rzeczywistym. Drobnoziarnista złożoność to jedna z korzyści, takich jak GKR
Stella Biderman