Informazioni sul ruolo
Panoramica dell'opportunità
Handshake è alla ricerca di matematici e ricercatori scientifici esperti per supportare la ricerca sull'IA attraverso un lavoro a contratto part-time flessibile. Non si tratta di un impiego 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 professionista.
Questa è un'opportunità continuativa, basata su progetti, che puoi svolgere parallelamente al tuo ruolo attuale.
Cosa farai
Utilizzerai la tua competenza di dominio 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 dei modelli di IA Completerai i compiti al tuo ritmo, senza orari prestabiliti né un numero minimo di ore richiesto Potenziale opportunità di pubblicare insieme al nostro team di ricerca.
Requisiti
I candidati ideali soddisfano tutti e tre i seguenti criteri:
Titolo di studio — Dottorato di ricerca in Matematica (pura o applicata) Competenza approfondita in un sotto-dominio — 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 centrale come algebra, topologia/geometria, teoria dei numeri, analisi o combinatorica Sono incoraggiati a candidarsi anche i candidati che soddisfano almeno 2 dei 3 requisiti sopra indicati.
Requisiti aggiuntivi (non obbligatori, 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
Richiesti per tutti i candidati
Autorizzazione al lavoro negli Stati Uniti Forte comunicazione scritta e attenzione ai dettagli Capacità di spiegare con chiarezza concetti matematici complessi Capacità di lavorare in autonomia in un ambiente remoto e asincrono