Informazioni sul ruolo
Contribuisci a plasmare il futuro dell'IA progettando problemi matematici stimolanti che mettono alla prova e migliorano il ragionamento dei modelli all'avanguardia.
- Sede: Da remoto
- Tipo: Contratto / Part-time
- Impegno: 20 ore a settimana
- Compenso: Fino a 40 USD / ora
- Durata del progetto: 2 mesi, con possibile proroga
- Disponibilità: Inizio immediato
Informazioni sul ruolo
Creiamo dati di addestramento STEM di alta qualità per modelli di IA all'avanguardia. I nostri dati vengono utilizzati direttamente nelle pipeline di addestramento e valutazione presso i principali laboratori di IA per migliorare il ragionamento dei modelli in ambiti tecnici.
Cerchiamo esperti di Matematica per progettare problemi rigorosi e deterministici che siano davvero stimolanti per i sistemi di IA allo stato dell'arte. Ogni problema deve avere esattamente una risposta corretta verificabile ed essere inviato insieme a una soluzione completa e verificata.
Cosa farai
- Progettare problemi matematici avanzati per l'addestramento e la valutazione di IA all'avanguardia
- Creare problemi deterministici con esattamente una risposta corretta
- Scrivere soluzioni complete e verificate e documentare chiaramente il processo di ragionamento
- Sviluppare problemi che mettono alla prova il ragionamento matematico profondo, non solo la memorizzazione
- Ove pertinente, utilizzare Python o strumenti specializzati per costruire flussi di lavoro computazionali
- Garantire che tutti i risultati siano tecnicamente precisi, riproducibili e ben scritti in inglese
Cosa cerchiamo
- Laurea magistrale o dottorato in Matematica o in un campo strettamente correlato
- Solida esperienza nella ricerca o nell'industria che coinvolga modellazione matematica, ragionamento basato su dimostrazioni, matematica applicata o matematica computazionale
- Solide competenze in Python; familiarità con librerie come numpy, scipy, pandas o simili
- Solida padronanza di algoritmi, metodi numerici e approcci computazionali
- Capacità di progettare problemi originali e difficili che rispecchiano flussi di lavoro matematici reali
- Eccellente attenzione ai dettagli e capacità di scrittura tecnica in inglese
Requisiti preferenziali
- Esperienza con sistemi di matematica simbolica, dimostratori di teoremi, solver di ottimizzazione o altri software matematici
- Background nella progettazione di problemi a livello olimpionico, di livello universitario avanzato o di ricerca
- Esperienza nella valutazione del ragionamento dei modelli, nel benchmarking o nella progettazione di valutazioni tecniche