Informazioni sul ruolo
Panoramica dell'opportunità
Handshake è alla ricerca di matematici esperti e ricercatori scientifici per supportare la ricerca sull'IA attraverso un lavoro a contratto part-time e flessibile. Non si tratta di un lavoro tradizionale: utilizzerai la tua esperienza pratica in matematica pura o applicata per valutare contenuti generati dall'IA e fornire feedback che aiutino l'IA a ragionare come un matematico in attività.
Questa è un'opportunità continuativa, basata su progetti, che puoi intraprendere parallelamente al tuo ruolo attuale.
Cosa farai
Utilizzerai la tua competenza nel settore per creare problemi e scenari matematici di livello esperto basati su dimostrazioni reali, formalizzazione e flussi di lavoro computazionali Esaminerai e valuterai le risposte generate dall'IA per accuratezza tecnica, rigore e coerenza con il modo in cui il lavoro viene effettivamente svolto Fornirai feedback scritti strutturati per contribuire a migliorare le prestazioni del modello di IA Completerai le attività al tuo ritmo, senza orari prestabiliti né un numero minimo di ore
Qualifiche
I candidati ideali soddisfano tutte e tre le seguenti:
Esperienza di ricerca — pubblicazioni come primo autore e capacità di formalizzare dimostrazioni su cui i modelli di IA falliscono Titolo di studio — Dottorato di ricerca in Matematica (pura o applicata) Approfondimento in un sotto-ambito — comprovata esperienza in una delle seguenti aree:
Dimostrazioni e metodi formali (Lean, Coq, Isabelle) Calcolo simbolico (SageMath, Mathematica), ottimizzazione e analisi numerica Un sotto-campo fondamentale come algebra, topologia, teoria dei numeri o combinatoria
Sono incoraggiati a candidarsi anche i candidati che soddisfano almeno 2 dei 3 requisiti sopra indicati.
Qualifiche aggiuntive (non richieste, ma rafforzano la candidatura)
Padronanza dei dimostratori di teoremi e dei software di calcolo simbolico Esperienza nella formalizzazione di dimostrazioni o nella risoluzione di problemi al limite delle capacità dei modelli di IA attuali
Richiesto a tutti i candidati
Deve avere l'autorizzazione al lavoro in India Forte comunicazione scritta e attenzione ai dettagli Capacità di spiegare chiaramente concetti matematici complessi Capacità di lavorare in modo indipendente in un ambiente remoto e asincrono