Mwanahisabati – Misingi na Uthibitisho Rasmi (Mafunzo ya AI)

Muhtasari wa nafasi

Mwanahisabati – Misingi na Uthibitisho Rasmi (Mafunzo ya AI) Kuhusu Nafasi Nini kama maarifa yako ya kina ya hisabati rasmi yangeweza kuunda moja kwa moja jinsi mifumo ya AI ya kisasa zaidi duniani inavyohoji, kuthibitisha, na kufikiria? Nafasi hii ni kwa wanahabati wenye shauku ya uthibitisho wa kina na mifumo rasmi kusaidia kujenga misingi ya kihisabati ambayo AI ya mipaka inategemea

Utakachofanya

• Jenga uthibitisho rasmi safi, unaosomeka, na uliopangwa vizuri unaotafsiri hoja za hisabati zisizo rasmi katika umbo la kina linaloweza kukaguliwa na mashine
• Ukaguzi na thibitisha uthibitisho rasmi uliopo kwa usahihi, ukamilifu, na uadilifu wa kimantiki
• Uwezo wa kwa urahisi kutafsiri mawazo ya hisabati yasio rasmi katika uthibitisho rasmi uliopangwa unaoweza kuthibitishwa na mashine

Mahitaji na masharti

• Mahali: Kwa mbali
• Ahadi: Masaa 10–40/wiki
• Kushikilia shahada ya Uzamili au PhD katika Hisabati au uwanja unaohusiana kwa karibu
• Kuwa na uzoefu wa vitendo na wasaidizi wa uthibitisho rasmi — Lean 4 inapendelewa sana
• Uwezo wa kwa urahisi kutafsiri mawazo ya hisabati yasio rasmi katika uthibitisho rasmi uliopangwa unaoweza kuthibitishwa na mashine
• Inayochochewa na nafsi yake na yenye starehe kufanya kazi kwa kujitegemea katika mazingira ya mbali, yasio ya wakati mmoja
• Uzoefu wa awali na uthibitisho wa uthibitisho, uthibitisho wa nadharia, au miradi ya urasimishaji wa kihisabati
• Uzoefu katika maeneo mengi ya kihisabati — topolojia, aljebra, uchanganuzi, mantiki, na zaidi

Maelezo ya ziada ya chanzo

• Rasimisha hoja na nadharia za kihisabati za hali ya juu katika Lean 4, inayojumuisha aina pana ya taaluma za kihisabati
• Changia ukuaji na ubora wa maktaba kubwa za kihisabati rasmi, ikiwa ni pamoja na mathlib
• Fanya kazi katika mpaka wa utafiti wa AI, kusaidia kufunza kizazi kipya cha mifano ya lugha yenye uwezo wa kihisabati