Esperto di Matematica (Laurea Magistrale/Dottorato)

Informazioni su Turing:
Con sede a San Francisco, in California, Turing è il principale acceleratore di ricerca al mondo per i laboratori di AI di frontiera e un partner di fiducia per le aziende globali che implementano sistemi di AI avanzati. Turing supporta i clienti in due modi: primo, accelerando la ricerca di frontiera con dati di alta qualità, pipeline di addestramento avanzate e i migliori ricercatori di AI specializzati in programmazione, ragionamento, STEM, multilinguismo, multimodalità e agenti; e secondo, applicando tale competenza per aiutare le aziende a trasformare l'AI da proof of concept a intelligenza proprietaria con sistemi che funzionano in modo affidabile, offrono un impatto misurabile sui progetti che migliorano e valutano i large language model applicando un ragionamento matematico avanzato, risoluzione dei problemi, pensiero computazionale e una chiara comunicazione scritta, garantendo risultati duraturi sul conto economico.

Panoramica del ruolo.

• In questo ruolo, lavorerai su progetti che migliorano e valutano i large language model applicando un ragionamento matematico avanzato, risoluzione dei problemi, pensiero computazionale e una chiara comunicazione scritta.
• Il candidato ideale dovrebbe avere solide basi in matematica, in particolare al livello previsto negli esami di ammissione di ingegneria, nonché in programmi di livello magistrale o di dottorato.
• Dovresti essere in grado di suddividere concetti matematici complessi in spiegazioni semplici e chiare e di lavorare in modo efficiente.
• Il ruolo include anche progetti computazionali in cui progetti prompt precisi e a risposta chiusa, scrivi codice Python affidabile, verifichi risposte numeriche e fornisci motivazioni chiare.
• I progetti ti aiuteranno anche a imparare a sfruttare l'AI per essere un analista migliore. Questa è la tua occasione per rendere la tua carriera a prova di futuro in un mondo in cui l'AI è al primo posto!

Cosa comporta la giornata tipo:

• Progetta problemi di matematica originali e stimolanti che mettono alla prova i limiti di ragionamento dei large language model, soprattutto in contesti multi-step, astratti e basati su dimostrazioni.
• Risolvi i problemi in modo indipendente e scrivi soluzioni dettagliate e strutturate logicamente con giustificazioni chiare.
• Rivedi le soluzioni generate dai modelli, identifica errori matematici o argomenti mancanti e fornisci feedback precisi, annotazioni e correzioni.
• Contribuisci a definire nuovi benchmark di valutazione basati su programmi di matematica che vanno dai primi anni dell'università a argomenti di livello di dottorato.
• Sviluppa e valida soluzioni basate su Python per attività computazionali utilizzando librerie scientifiche approvate.
• Lavora su attività di theorem prover utilizzando Lean, inclusa la traduzione di problemi matematici e dimostrazioni in linguaggio formale, verificando che le dimostrazioni formali vengano compilate correttamente.

Requisiti:

• Capacità analitiche: Buone capacità di ricerca e analisi
• Capacità di fornire feedback: Capacità di fornire feedback costruttivi e annotazioni dettagliate.
• Pensiero creativo: Capacità di pensiero creativo e laterale.
• Comunicazione: Eccellenti capacità di comunicazione strutturata e collaborazione in un contesto remoto.
• Indipendenza: Motivato e in grado di lavorare in modo indipendente in un contesto remoto.
• Configurazione tecnica: Desktop/Laptop configurato con una buona connessione a Internet.

Qualifiche preferite:

• I candidati che stanno conseguendo una laurea magistrale/un dottorato di ricerca/un post-dottorato in Matematica, Matematica Applicata, Statistica o un campo correlato sono idonei e incoraggiati a candidarsi.
• Capacità di analizzare e risolvere problemi matematici complessi con un approccio strutturato e logico.
• Capacità di spiegare concetti matematici in modo chiaro utilizzando un linguaggio semplice, elementi visivi ed esempi.

Vantaggi del lavoro freelance con Turing:

• Lavora in un ambiente completamente remoto.
• Opportunità di lavorare su progetti di AI all'avanguardia con le principali aziende di LLM.
• Potenziale estensione del contratto in base alle prestazioni e alle esigenze del progetto.

Dettagli dell'offerta:

• Impegni richiesti: almeno 4 ore al giorno e un minimo di 20 ore alla settimana, con 4 ore di sovrapposizione con il fuso orario PST. (Abbiamo 3 opzioni di impegno temporale: 20 ore/settimana, 30 ore/settimana o 40 ore/settimana)
• Tipo di collaborazione: Incarico da contractor/freelance (nessuna copertura medica/ferie retribuite)