Jakie są teoretyczne prace informatyczne?

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 !

career computational-mathematics

— usul
źródło

Cóż, są miejsca pracy dla firm prowadzących czyste lub prawie czyste badania, ale możesz uznać je za pochodną środowiska akademickiego.

— usul

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,

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,

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

@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:

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

„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?

@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ń

A co z teorią automatów, językami formalnymi, gramatykami formalnymi, teorią obliczeń… czy są jakieś wymagania / zastosowania w pracy przemysłowej?

— kate

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

John Cook to Doc, który stosuje matematykę do rozwiązań firmowych https://johndcook.com