مهندس نظم C++ أول

حولنا في SkyLabs AI Inc.
نحن في طليعة ثورة الذكاء الاصطناعي.
كشركة مقرها الولايات المتحدة، نقوم بإجراء أبحاث تطبيقية حول الذكاء الاصطناعي للتفكير الذكي.
نحن متخصصون في الذكاء العصبي الرمزي المعقد لحل المشكلات المعقدة في هندسة البرمجيات والتفكير الرياضي.
يتكون فريقنا من باحثين ومهندسين من الطراز العالمي ملتزمين ببناء المنصات والوكلاء الذكيين الذين سيقودون الجيل القادم من البرمجيات.
إذا كنت شغوفًا ببناء أنظمة ذكية حقًا وترغب في ترك تأثير دائم، تواصل معنا.
الدور كمهندس نظم C++ في هذا المشروع، ستكون أساسيًا في بناء البنية التحتية الزمنية وآليات تنفيذ العقود التي تشكل العمود الفقري لنظام التحقق لدينا.
ستعمل عند تقاطع ميزات لغة C++ الحديثة، وتكنولوجيا المترجم، والأساليب الرسمية، وتنفيذ الأنظمة التي تترجم المواصفات الرياضية إلى فحوصات زمنية قابلة للتنفيذ.
هذه فرصة نادرة للعمل على تكنولوجيا المترجم المتطورة بينما تساهم في مستقبل التحقق من البرمجيات.
المسؤوليات الرئيسية تصميم وتطوير وصيانة كود نظم C++ عالي الأداء للبنية التحتية للتحقق تنفيذ تكاملات المترجم وخطوط إنتاج الكود باستخدام Clang/LLVM بناء مكتبات قابلة لإعادة الاستخدام، وواجهات برمجة التطبيقات، ومكونات سلسلة الأدوات لاستخدام المطورين دمج الأطر الخارجية وتطوير أنظمة أتمتة البناء كتابة اختبارات شاملة وتأسيس عمليات ضمان الجودة تحسين الكود للأداء والموثوقية وقابلية الصيانة التعاون مع فرق متعددة التخصصات بما في ذلك الباحثين والمهندسين المشاركة في مراجعات الكود، والمناقشات المعمارية، والتصميم الفني توثيق القرارات الفنية، وواجهات برمجة التطبيقات، وهياكل النظام البقاء على اطلاع بتطور C++ وتقدم الأساليب الرسمية راتب تنافسي بالدولار الأمريكي (معفى من الضرائب) بدل صحي شامل بدل انتقال (إذا كنت تنتقل إلى إسلام آباد) أحداث شهرية للفريق ومناسبات خارجية مساحة مكتبية جميلة وتعاونية العمل جنبًا إلى جنب مع باحثين ومهندسين من الطراز العالمي في الذكاء الاصطناعي المهارات التقنية 5+ سنوات من تطوير C++ الاحترافي مع فهم عميق لـ C++ الحديثة (C++17/20/23) خلفية قوية في برمجة الأنظمة: إدارة الذاكرة، تحسين الأداء، تصحيح الأخطاء على مستوى منخفض معرفة بالمترجم: خبرة مع Clang/LLVM، معالجة AST، أو توليد الكود خبرة في أنظمة البناء: CMake، Bazel، أو ما شابه؛ خبرة في بناءات متعددة المكونات معقدة إتقان أدوات التصحيح: GDB، LLDB، أدوات التعقيم (ASan، UBSan، TSan) خبرة في كتابة كود حتمي وقابل للتكرار للأنظمة الحرجة سجل في هندسة البرمجيات لبناء بنية تحتية قوية وقابلة للصيانة لسلسلة الأدوات خبرة في أطر الاختبار الآلي وتطوير مدفوع بالاختبار فهم تصميم واجهة برمجة التطبيقات للأدوات الموجهة للمطورين إلمام بخطوط أنابيب التكامل المستمر والنشر التزام قوي بجودة الكود، والتوثيق، وأفضل الممارسات العقلية والنهج الراحة في العمل مع الغموض والمشكلات البحثية نهج منهجي لحل المشكلات مع الانتباه إلى الحالات الحدية القدرة على قراءة وفهم المواصفات الرسمية (سيتم توفير التدريب) عقلية تعاونية مع مهارات تواصل ممتازة دافع ذاتي مع القدرة على العمل بشكل مستقل على مشكلات تقنية معقدة نقاط إضافية قوية المعرفة بما يحدث في معيار C++26، خاصة العقود (أو أنظمة التصميم بالعقد المماثلة) خلفية في الأساليب الرسمية، والتحقق، أو أدوات التحليل الثابت إلمام بأطر اختبار قائمة على الخصائص (QuickCheck، Hypothesis، أو Google FuzzTest) خبرة / معرفة بلغات البرمجة الوظيفية معرفة بمساعدي الإثبات (Coq/Rocq، Lean، Isabelle، Agda) خبرة مع أدوات الفحص (libFuzzer، AFL، أو ما شابه) مساهمات في مشاريع المترجم أو أدوات اللغة مفتوحة المصدر فهم تحليل البرنامج أو تقنيات التنفيذ الرمزي خبرة مع محللات SMT أو أنظمة حل القيود خلفية أكاديمية في علوم الحاسوب، أو الأساليب الرسمية، أو لغات البرمجة