Pure Mathematics Specialist - Freelance AI Trainer Project - praca zdalna

Firma Invisible Technologies szuka osoby na stanowisko Pure Mathematics Specialist - Freelance AI Trainer Project. Oferta należy do kategorii „Edukacja i nauczanie” i jest w pełni zdalna. Firma nie ogranicza miejsca zamieszkania kandydata, więc zgłoszenie można wysłać z dowolnego miejsca.

Firma podała wynagrodzenie: $35 - $65 za godzinę. Ogłoszenie nie stawia żadnych warunków co do godzin pracy.

Ta oferta przeszła automatyczną kontrolę: na listę nie trafiają ogłoszenia wymagające zagranicznego pozwolenia na pracę, sponsorowania wizy, określonego obywatelstwa ani zamieszkania we wskazanym kraju.

Czy jesteś doświadczonym matematykiem, pasjonatem jazdy w SI? Dzięki modelom językowym o dużej skali, które dokonują szybkich postępów, ich zdolność do radzenia sobie ze złożonym rozumowaniem opartym na dowodach zależy od solidnych matematycznych danych treningowych. Wykorzystując swoją głęboką wiedzę specjalistyczną, możesz przyczynić się do uczynienia systemów AI lepszym w zrozumieniu abstrakcyjnych koncepcji, logicznego rozumowania i skomplikowanych struktur współczesnej matematyki. Twoje spostrzeżenia będą kluczowe dla kształtowania przyszłości SI.

Szukamy osób z głębokim zrozumieniem czystej matematyki, zdolnych do zbadania zaawansowanych tematów w teorii prawdopodobieństwa, teorii pomiaru, prawdziwej i funkcjonalnej analizy, optymalizacji, abstrakcyjnej algebry i teorii kategorii. Ponadto potrzebujemy solidnego uchwytu Lean 4, asystenta dowodu i języka programowania.

Każdego dnia, będziesz robić i przeglądać zawiłe dowody, zapewniając matematyczne rozumowanie jest zarówno poprawne i rygorystyczne, i wskazując subtelne błędy koncepcyjne lub logiczne. Będziesz również ściśle współpracować z naszym zespołem w celu opracowania i udoskonalenia impulsów, ram oceny i matematycznych wskaźników rozumowania, co poprawi ogólną jakość naszych operacji.

Idealni kandydaci będą mieli płynną komendę Lean 4, aktualny lub niezaawansowany doktorat z czystej matematyki, lub ostatnie doświadczenie postdoc. Powinieneś być dobrze poznany w podstawowych tematach, takich jak nierówności Markova i Czebyszewa, granice Hoeffding, twierdzenia konwergencji, twierdzenia Carathéodory rozszerzenia, twierdzenie Riesz reprezentacji, Banach- Alaoglu, Lax- Milgram, przybliżenie stochastyczne, twierdzenia Van Kampena, Yoneda osadzone, i representability w kohomologii. Kluczowe znaczenie mają również skuteczne, metakwognialne umiejętności komunikacyjne.

Gotowy wykorzystać umiejętności Lean 4 i matematyczną umiejętność, by stworzyć jądro rozumowania jutrzejszej SI? Zastosowanie teraz i odgrywać kluczową rolę w kształceniu modeli, które będą wspierać naukowców, naukowców i inżynierów na całym świecie.

Nasz zakres rekompensat wynosi od 35 do 65 dolarów za godzinę, z określoną stawką określoną na podstawie Państwa doświadczenia, wiedzy specjalistycznej i lokalizacji geograficznej. Jako wykonawca, trzeba będzie dostarczyć bezpieczny komputer i szybki internet; sponsorowane przez firmę świadczenia, takie jak ubezpieczenie zdrowotne i PTO nie są uwzględnione.

Tytuł pracy: Pure Mathematics and Lean 4 Specialist - Freelance AI Trainer Project Rodzaj zatrudnienia: umowa Typ miejsca pracy: Zdalny Pierwotnie opublikowany na Himalajach