Quali sono i lavori teorici di informatica?

Oltre al mondo accademico che è chiaramente la casa dei teorici, mi chiedo quali lavori industriali siano collegati all'informatica teorica, quelli che richiedono un background matematico puro.

Saluti !

career computational-mathematics

— usul
fonte

Bene, ci sono posti di lavoro che lavorano per aziende che fanno ricerche pure o quasi pure, ma potresti considerarle un ramo del mondo accademico.

— usul

Sai programmare? Sai come usare le cose che hai imparato a scuola per progettare algoritmi efficienti per problemi pratici? Sai come parlare con gli ingegneri e capire quali sono i problemi di calcolo vagamente espressi con cui stanno davvero chiedendo aiuto? Sei interessato a fare cose del genere?

— Peter Shor,

Non sto descrivendo un singolo lavoro. Ho lavorato presso i Bell Labs / AT & T Labs per 17 anni e sto descrivendo le abilità che rendono utile un teorico informatico nell'industria. Se non hai nessuna di queste abilità, probabilmente non sarai in grado di trovare un lavoro nel settore (o, se lo fai, non durerai molto a lungo). Se hai tutte queste capacità, saresti prezioso per molti datori di lavoro. Se riesci a convincere un potenziale datore di lavoro di questo, dovresti stare bene.

— Peter Shor,

Consigli? Questo è probabilmente distorto rispetto alla mia visione del settore dei Bell Labs, ma: Ottieni molta pratica di programmazione. Scopri molti algoritmi. Forse un po 'di ottimizzazione. Segui alcuni corsi di modellazione matematica / computazionale (la tua fisica ti aiuterà qui). Trova uno stage. Forse non otterrai un lavoro nel settore della ricerca (anche se potresti essere fortunato), ma dovresti essere in grado di ottenere un lavoro nel settore che è intellettualmente interessante. (Anche se hai intenzione di dedicarti al calcolo quantistico, è un elenco diverso di cose. E se vuoi una carriera facendo teoria della complessità, dovresti probabilmente guardare al mondo accademico.)

— Peter Shor,

@Stella Biderman: questi luoghi sono attualmente alla disperata ricerca di persone che conoscono sia l'informatica avanzata sia la fisica quantistica. Non hai bisogno di un dottorato di ricerca; Mi aspetto che l'intera serie di corsi di laurea in fisica quantistica sarebbe più che sufficiente.

— Peter Shor,

Risposte:

Ho un background di teoria CS e lavoro nel settore industriale facendo ricerche presso una società di consulenza. Siamo assunti da persone che vogliono utilizzare vari tipi di modelli di computer e non hanno le competenze per crearli da soli. Questo è (parzialmente) un lavoro di ricerca perché i nostri clienti in genere hanno interessi di solito non affrontati nella letteratura accademica, e quindi i nostri contratti di solito ci portano a creare nuovi modelli e tecniche che funzionano nel loro contesto. Attualmente sto lavorando a una presentazione di poster per una conferenza accademica, anche se uno in metodologia di scienze politiche piuttosto che CS.

Il mio gruppo è specializzato in machine learning e analisi dei social network, noto anche come algebra lineare applicata e teoria dei grafi. I nostri clienti tendono ad essere interessati ad applicarlo ad argomenti come le relazioni internazionali, la logistica, il commercio internazionale e la sicurezza informatica. I miei colleghi hanno esperienze come un dottorato in matematica applicata, un dottorato in scienze sociali computazionali e un master in linguistica computazionale. Sono il teorico del mio gruppo ed è stato specificamente assunto per le mie conoscenze matematiche pure. Lavoro principalmente sulla progettazione e la validazione di modelli, in particolare sfruttando le strutture teoriche dei grafi nei fenomeni modellati per informare la progettazione dei modelli. Sono anche la persona di riferimento per lo studio di nuove ricerche e la valutazione di come si adatta a ciò che stiamo attualmente lavorando.

Vorrei fortemente secondare l'elenco di abilità raccomandate di Peter Shor. La chiave per essere un teorico di successo nel settore è essere in grado di essere il ponte tra ingegneri, analisti di dati e sviluppatori da un lato e accademici dall'altro.

— Stella Biderman
fonte

"Il mio gruppo è specializzato in machine learning e analisi dei social network, noto anche come algebra lineare applicata e teoria dei grafi." Questa osservazione è così deliziosa che sono costretto a esprimere la mia ammirazione per questo. :)

— Neel Krishnaswami,

"società di consulenza", "ponte tra accademici e ingegneri". Vuoi approfondire di più? Quali sono i domini su cui queste aziende lavorano a parte il tuo esempio?

@Stella Biderman, mi suggeriresti e mi spiegherebbe un paio di domini relativi a ciò che si sovrappone tra matematica e calcolo tecnico ?, In particolare teoria del calcolo

Che dire della teoria degli automi, dei linguaggi formali, delle grammatiche formali, della teoria del calcolo ... ci sono richieste / usi per questi lavori industriali?

— Kate,

ToC può vedere un sacco di applicazioni o molto poco, a seconda di cosa si sta parlando esattamente. Il tema alla base delle applicazioni che ho citato nella mia risposta è l'esistenza di una struttura di rete, quindi uso molto la teoria dei grafi. La teoria dei grafi spettrali è alla base di molti approcci all'avanguardia per l'analisi della rete. La teoria dell'informazione è sempre più popolare nel rilevamento di anomalie. D'altra parte, la teoria della complessità e della computabilità vede un'applicazione molto scarsa perché è relativamente scollegata dall'informatica del mondo reale. La complessità a grana fine è quella che vede l'uso, come GKR

— Stella Biderman,

John Cook è un Doc che applica la matematica alle soluzioni aziendali https://johndcook.com