CertiK هي واحدة من أسرع شركات أمن البلوكتشين نموًا وأكثرها ثقة في السوق. عملت مع أكثر من 4,798 عميلاً، وأمّنت أكثر من 597 مليار دولار من الأصول الرقمية، وراقبت أكثر من 17,000 مشروع. من بين عملائها مشاريع رائدة مثل Aave وPolygon وYearn وChiliz. دعمتها شركات استثمار عالمية مثل Insight Partners وSequoia وTiger Global وSoftBank وغيرها.
نبحث حاليًا عن مهندس Frontend لمترجم Solidity ذو خبرة للانضمام إلى فريقنا المتخصص في البنية التحتية لمترجمات البلوكتشين وأدوات التحقق الرسمي. ستشارك في تطوير وتحسين المكونات الأمامية لخط أنابيب ترجمة Solidity، مع التركيز على التحليل الثابت وفحص النوع والتكامل مع أنظمة التحقق الرسمي.
المسؤوليات
- تصميم وتنفيذ مكونات Frontend لمترجم Solidity، بما في ذلك التحليل المعجمي وبناء الجملة وإنشاء شجرة الصيغة المجردة (AST) والتحليل الدلالي.
- تحسين أداء المترجم وتحسين الإبلاغ عن الأخطاء والتشخيص.
- تطوير طبقات تكامل بين مترجم Solidity وأدوات التحقق الرسمي.
- المساهمة في تطور ميزات ومواصفات لغة Solidity.
- التعاون مع باحثي الأمن لتنفيذ فحوصات التحليل الثابت والأمان.
- صيانة وتحسين البنية التحتية القائمة للمترجم والأدوات ذات الصلة.
المتطلبات
- 3+ سنوات من الخبرة المهنية في تطوير مترجم Solidity أو مشاريع مترجمات ذات صلة (مثل لغات EVM ومترجمي العقود الذكية).
- إتقان قوي للغة Java مع فهم عميق لتطوير وتحسين المترجمات القائمة على Java.
- أساس متين في نظرية المترجمات، بما في ذلك تقنيات التحليل وأنظمة الأنواع والتمثيلات الوسيطة.
- خبرة في الأساليب الرسمية أو أدوات التحقق الرسمي (مثل حلّالات SMT أو مؤكدي النظريات أو أطر التحقق).
- فهم قوي لجهاز Ethereum الظاهري (EVM) ونماذج تنفيذ العقود الذكية.
- مهارات ممتازة في حل المشكلات والاهتمام بالتفاصيل.
المؤهلات المفضلة
- خبرة في LLVM أو بنى تحتية مماثلة للمترجمات.
- معرفة بدلالات لغات البرمجة ونظرية الأنواع.
- مساهمات في مشاريع مترجمات مفتوحة المصدر.
- خبرة في Solidity أو لغات برمجة بلوكتشين أخرى.
التعويضات والمزايا: إذا تم تنفيذ الدور في الولايات المتحدة، يتراوح الراتب السنوي المستهدف بين 140,000 و220,000 دولار أمريكي، ويتم تحديده بناءً على مهارات وخبرة المرشح. تقدم CertiK تأمينًا طبيًا وبصريًا وعلاجيًا للأسنان، وخطة 401(k) مع مساهمة من الشركة، وتأمينًا على الحياة والحوادث، وحسابات HSA وFSA، وإجازة سنوية مدفوعة مرنة، وعطلات رسمية، وغيرها من المزايا للموظفين الدائمين.
للتقديم: تقبل CertiK طلبات التقديم لهذه الوظيفة بشكل مستمر. يمكنك التقديم عبر الموقع الرسمي لـ CertiK والبحث عن إعلان الوظيفة. يجب أن يكون المتقدمون مؤهلين للعمل في الولايات المتحدة. تعتبر CertiK صاحب عمل متكافئ الفرص.
مهتم بهذه الفرصة؟
تقدم مباشرةً عبر الرابط الرسمي للشركة