Informazioni sul ruolo
Contribuisca a definire come i modelli di IA di frontiera ragionano in matematica.
1\. Panoramica
Cerchiamo matematici senior per migliorare il modo in cui i modelli di IA di frontiera ragionano sulla ricerca matematica reale.
Il suo giudizio matematico è la sostanza di questo ruolo. Lei esaminerà la qualità dei compiti di ragionamento matematico e degli output dei modelli, redigerà le specifiche dei problemi e le soluzioni e dimostrazioni di riferimento che definiscono cosa significa "corretto", e progetterà benchmark che mostrino se un modello sta davvero migliorando. Cerchiamo uno specialista in attività piuttosto che un generalista.
Questo ruolo è interamente da remoto.
2\. Responsabilità principali
- Revisione esperta: valutare compiti matematici e output dei modelli, individuando lacune nelle dimostrazioni, passaggi ingiustificati, generalizzazioni errate e argomentazioni che sembrano convincenti ma non supererebbero la revisione tra pari.
- Specifiche dei problemi e soluzioni di riferimento: redigere enunciati precisi e soluzioni e dimostrazioni di riferimento rigorose che riflettano il modo in cui la matematica di ricerca viene effettivamente praticata.
- Benchmark: progettare problemi impegnativi di livello di ricerca e set di valutazione nella propria area di specializzazione.
- Calibrazione: collaborare con altri ricercatori ed esperti di campi affini per trasformare il giudizio esperto tacito in criteri espliciti e trasmissibili.
3\. Requisiti fondamentali
- Formazione: dottorato di ricerca (PhD) in matematica, matematica applicata, statistica, ricerca operativa o in un campo strettamente affine.
- Seniority: incarico di docenza, principal investigator, staff scientist o senior scientist, oppure un ruolo di ricerca senior equivalente presso un'università, un laboratorio nazionale o un'organizzazione di ricerca.
- Profondità disciplinare: autentica specializzazione in almeno un'area, ad esempio analisi ed equazioni alle derivate parziali (PDE), algebra e teoria dei numeri, geometria e topologia, probabilità e statistica, oppure matematica applicata e ottimizzazione.
- Attività di ricerca: solido curriculum di pubblicazioni sottoposte a revisione tra pari. Riconoscimenti come borse competitive (fellowship) o premi rappresentano un vantaggio.
- Dimestichezza con l'IA: utilizzo pratico dei large language model nel proprio lavoro e capacità di distinguere un'argomentazione solida da una errata ma plausibile.
- Comunicazione: eccellente comunicazione scritta e capacità di fornire un feedback preciso e ben strutturato.
- Sede: residente negli Stati Uniti.