Pure Mathematics Specialist - Freelance AI Trainer Project - offerta da remoto

L'azienda Invisible Technologies cerca: Pure Mathematics Specialist - Freelance AI Trainer Project. La posizione rientra nella categoria Istruzione e formazione ed è interamente da remoto. L'azienda non pone alcun vincolo sul luogo di residenza del candidato, quindi può candidarsi da dove vive.

L'azienda ha pubblicato la retribuzione: $35 - $65 all'ora. Sull'orario di lavoro l'annuncio non pone alcuna condizione.

Questa offerta ha superato un controllo automatico: gli annunci che richiedono un permesso di lavoro estero, la sponsorizzazione del visto, una cittadinanza specifica o la residenza in un paese indicato non entrano in elenco.

Sei un matematico esperto appassionato di avanzamenti di guida in AI? Con modelli di lingua su larga scala che fanno rapidi progressi, garantendo la loro capacità di gestire cerniere ragionate complesse basate sulla prova su dati di formazione matematica robusti. Sfruttando la tua profonda esperienza, puoi contribuire a rendere i sistemi AI più adatti alla comprensione dei concetti astratti, del ragionamento logico e delle strutture intricate della matematica moderna. Le tue intuizioni saranno cruciali nella modellazione del futuro dell'AI.

Cerchiamo individui con una profonda comprensione della matematica pura, in grado di esplorare argomenti avanzati in teoria della probabilità, misurare la teoria, analisi reale e funzionale, ottimizzazione, algebra astratta e teoria della categoria. Inoltre, abbiamo bisogno di una solida presa di Lean 4, l'assistente di prova e il linguaggio di programmazione.

Su base giornaliera, si articolerà e rivedere prove intricate, assicurando che il ragionamento matematico sia corretto e rigoroso, e individuando eventuali errori concettuali o logici sottili. Potrai anche lavorare a stretto contatto con il nostro team per sviluppare e perfezionare richieste, framework di valutazione e benchmark di ragionamento matematico, migliorando così la qualità complessiva delle nostre operazioni.

I candidati ideali avranno un comando fluente di Lean 4, un PhD corrente o in-progresso in matematica pura, o recente esperienza postdoc. Dovreste essere ben diversificati in argomenti essenziali come le disuguaglianze di Markov e Chebyshev, i confini di Hoeffding, i teoremi di convergenza, il teorema di estensione Carathéodory, il teorema di rappresentazione di Riesz, Banach-Alaoglu, Lax-Milgram, l'approssimazione stocastica, il teorema di Van Kampen, la rappresentazione di Yoneda embedhoneda embedding embedding, e la rappresentabilità e la rappresentazione. Efficace, capacità di comunicazione metacognitiva sono anche critiche.

Pronto a sfruttare la tua competenza Lean 4 e la tua abilità matematica per formare il nucleo di ragionamento dell'intelligenza artificiale di domani? Applicare ora e svolgere un ruolo fondamentale nell'educazione dei modelli che supporteranno ricercatori, scienziati e ingegneri in tutto il mondo.

Il nostro range di compensazione è da $35 a $65 all'ora, con il tasso specifico determinato in base alla vostra esperienza, competenza e posizione geografica. In qualità di appaltatore, è necessario fornire un computer sicuro e internet ad alta velocità; le prestazioni sponsorizzate dalla società come l'assicurazione sanitaria e l'OMC non sono incluse.

Titolo del lavoro: Pure Mathematics and Lean 4 Specialist - Freelance AI Trainer Project Tipo di occupazione: Contratto Tipo di lavoro: remoto Originariamente pubblicato su Himalayas