باحث في نظرية الفئات التطبيقية

عن الشركة تقوم عملية الزراعة ببناء نظام يمثل معرفة المجال كنماذج احتمالية معيارية، مما يجعل التحليل دقيقًا وشفافًا. يستخدم النظام نظرية الفئة للتفكير في كل شيء بدءًا من معالجة اللغة الطبيعية وحتى البرمجة الاحتمالية، مع تطبيقات في مجال التمويل والبحث العلمي. المسؤوليات اتبع الأدبيات الموجودة وطرح الأفكار ذات الصلة إضفاء الطابع الرسمي على الدلالات الفئوية لخط المشترك الرقمي (DSL) الاحتمالي تغذية راجعة الأفكار النظرية لصالح التنفيذ تطوير نماذج جديدة لظواهر العالم الحقيقي بما في ذلك العلاقات والنماذج الاحتمالية والأنظمة الديناميكية واللغة الطبيعية تقديم نتائج العمل بطريقة في متناول الخبراء في المجالات الأخرى المتطلبات دكتوراه أو خبرة بحثية معادلة تتعلق بنظرية الفئة خبرة في البرمجة باللغات الوظيفية أو المكتوبة بشكل ثابت (مثل Rust أو OCaml أو Clojure أو C++ أو Haskell) تجربة الكتابة عن نظرية الفئة بطرق يسهل الوصول إليها خبرة في البناء النظري في علوم الكمبيوتر أو الرياضيات التطبيقية أو الإحصاء الإلمام بمفاهيم مثل نظرية الاحتمالات الاصطناعية، أو النماذج الرسومية الاحتمالية، أو دلالات الدلالات، أو المخططات الخيطية، أو الفئات الأحادية، أو البصريات، أو العدسات