Informazioni sul ruolo
Contribuisci a plasmare il futuro dell'IA progettando problemi matematici stimolanti che mettono alla prova e migliorano il ragionamento nei modelli all'avanguardia.
- Sede: 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 in Matematica per progettare problemi rigorosi e deterministici che siano realmente 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
- Progetterai problemi matematici avanzati per l'addestramento e la valutazione di IA all'avanguardia
- Creerai problemi deterministici con esattamente una risposta corretta
- Scriverai soluzioni complete e verificate e documenterai chiaramente il processo di ragionamento
- Svilupperai problemi che mettono alla prova il ragionamento matematico profondo, non solo la memorizzazione
- Ove pertinente, utilizzerai Python o strumenti specializzati per costruire flussi di lavoro computazionali
- Garantirai che tutti gli output 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, universitario o di ricerca
- Esperienza nella valutazione del ragionamento dei modelli, nel benchmarking o nella progettazione di valutazioni tecniche