Research Engineer - LLM Formal Methods

Firma: Huawei Technologies Canada Co., Ltd.

Okres trwania: 12-miesięczny kontrakt

Huawei Technologies Canada Co., Ltd. poszukuje Inżyniera Badawczego ze specjalizacją w metodach formalnych LLM do natychmiastowego zatrudnienia. Ta rola obejmuje roczny kontrakt poświęcony zaawansowanym technologiom architektur neuronowych symbolicznych poprzez integrację LLM/SI i metod formalnych.

• Przeprowadzanie badań na najwyższym poziomie i opracowywanie technologii mających na celu udoskonalenie procesu syntezy architektur neuronowych symbolicznych.
• Integracja LLM/SI i metod formalnych w celu kierowania procesem rozwoju.
• Projektowanie i wdrażanie kompleksowych strategii testowania, takich jak testowanie białoskrzynkowe i czarnoskrzynkowe, w celu oceny oraz poprawy systemów SI.
• Analiza wydajności systemów SI poprzez wzorce pokrycia i aktywacji.
• Opracowywanie formalnych technik modelowania, analizy i weryfikacji dla integracji rozumowania symbolicznego w sieciach neuronowych.
• Zapewnienie dokładnej interpretacji i generowania wyników systemów SI.
• Współpraca z interdyscyplinarnymi zespołami badaczy i inżynierów w celu wprowadzenia zaawansowanych technologii do praktycznego rozwoju SI.
• Publikowanie wyników badań na odpowiednich konferencjach i w czasopismach.

Co wniesiesz do zespołu:

• Doktorat z zakresu metod formalnych, inżynierii oprogramowania, LLM/SI lub pokrewnych dziedzin.
• Udokumentowane osiągnięcia w zakresie badań i rozwoju w odpowiednich dziedzinach.
• Znajomość technik formalnego rozumowania i testowania.
• Dogłębne zrozumienie metodologii LLM/SI oraz ich ograniczeń.
• Silne umiejętności programowania.
• Zdolność do efektywnej współpracy w zespołach interdyscyplinarnych.
• Umiejętność identyfikowania i przezwyciężania skomplikowanych wyzwań technicznych.

#LI-TL1

Zainteresowani kandydaci powinni złożyć swoją aplikację za pośrednictwem naszego oficjalnego portalu kariery.

Huawei Technologies Canada Co., Ltd. to wiodący globalny dostawca rozwiązań technologii informacyjnych i komunikacyjnych (ICT), zaangażowany w innowacje i postęp technologiczny.