Informazioni sul ruolo
Informazioni su Turing: Con sede a San Francisco, in California, Turing è il principale acceleratore di ricerca al mondo per i laboratori di IA di frontiera e un partner di fiducia per le grandi aziende globali che implementano sistemi di IA avanzati. Turing supporta i clienti in due modi: in primo luogo, accelerando la ricerca di frontiera con dati di alta qualità, pipeline di addestramento avanzate e i migliori ricercatori di IA specializzati in programmazione, ragionamento, discipline STEM, multilinguismo, multimodalità e agenti; in secondo luogo, applicando tale competenza per aiutare le aziende a trasformare l'IA da proof of concept a intelligenza proprietaria, con sistemi che funzionano in modo affidabile, producono risultati misurabili su progetti che migliorano e valutano i modelli linguistici di grandi dimensioni applicando ragionamento matematico avanzato, problem solving, pensiero computazionale e comunicazione scritta chiara, impatto e risultati duraturi sul conto economico (P&L).
Panoramica del ruolo.
- In questo ruolo lavorerà a progetti che migliorano e valutano i modelli linguistici di grandi dimensioni applicando ragionamento matematico avanzato, problem solving, pensiero computazionale e comunicazione scritta chiara.
- Il candidato ideale deve avere una solida base in matematica, in particolare al livello richiesto negli esami di ammissione a Ingegneria, nonché nei programmi di livello post-laurea o di dottorato.
- Deve essere in grado di scomporre concetti matematici complessi in spiegazioni semplici e chiare e di lavorare in modo efficiente.
- Il ruolo comprende anche progetti computazionali in cui progetterà prompt precisi a risposta chiusa, scriverà codice Python affidabile, verificherà le risposte numeriche e fornirà motivazioni chiare.
- I progetti Le permetteranno inoltre di imparare a sfruttare l'IA per diventare un analista migliore. È la Sua occasione per rendere la Sua carriera a prova di futuro in un mondo in cui l'IA viene al primo posto!
Come si svolge la giornata tipo:
- Progettare problemi di matematica originali e impegnativi che mettano alla prova i limiti di ragionamento dei modelli linguistici di grandi dimensioni, in particolare in contesti a più passaggi, astratti e basati su dimostrazioni.
- Risolvere i problemi in autonomia e scrivere soluzioni dettagliate e logicamente strutturate, con giustificazioni chiare.
- Revisionare le soluzioni generate dai modelli, individuare errori matematici o argomentazioni mancanti e fornire feedback, annotazioni e correzioni precisi..
- Contribuire alla definizione di nuovi benchmark di valutazione basati sui programmi di Matematica, dagli argomenti dei primi anni universitari a quelli di livello dottorale.
- Sviluppare e convalidare soluzioni basate su Python per task computazionali utilizzando librerie scientifiche approvate.
- Lavorare su task di dimostrazione automatica di teoremi con Lean, inclusa la traduzione di problemi e dimostrazioni matematiche in linguaggio formale e la verifica che le dimostrazioni formali vengano compilate correttamente.
Requisiti:
- Capacità analitiche: Buone capacità di ricerca e di analisi
- Capacità di feedback: Capacità di fornire feedback costruttivi e annotazioni dettagliate.
- Pensiero creativo: Capacità di pensiero creativo e laterale.
- Comunicazione: Eccellenti capacità di comunicazione strutturata e di collaborazione in un contesto da remoto.
- Autonomia: Automotivazione e capacità di lavorare in autonomia in un contesto da remoto.
- Dotazione tecnica: Computer desktop/laptop configurato con una buona connessione internet.
Qualifiche preferenziali:
- Possono candidarsi, e sono incoraggiati a farlo, i candidati che stanno conseguendo un Master/PhD/titolo post-dottorato in Matematica, Matematica applicata, Statistica o in un campo affine.
- Capacità di analizzare e risolvere problemi matematici complessi con un approccio strutturato e logico.
- Capacità di spiegare concetti matematici con chiarezza, utilizzando un linguaggio semplice, elementi visivi ed esempi.
Vantaggi della collaborazione freelance con Turing:
- Lavoro in un ambiente interamente da remoto.
- Opportunità di lavorare a progetti di IA all'avanguardia con le principali aziende di LLM.
- Possibilità di proroga del contratto in base alle prestazioni e alle esigenze del progetto.
Dettagli dell'offerta:
- Impegno richiesto: almeno 4 ore al giorno e un minimo di 20 ore a settimana, con 4 ore di sovrapposizione con il fuso orario PST. (Disponiamo di 3 opzioni di impegno orario: 20 ore/settimana, 30 ore/settimana o 40 ore/settimana)
- Tipo di incarico: incarico come contractor/freelance (senza copertura sanitaria né congedi retribuiti)