Company irreducible opens its doors to those interested in obtaining exceptional job opportunities in Bahrain↔
If you are interested, check out the following details:
About us:
- We're building out a high-performance, cost-efficient compute stack for advanced cryptographic proofs, specifically zk-SNARKs. Verifiable computing with zk-SNARKs is taking off as a solution to the scalability and privacy limitations that today's blockchains suffer from. A new wave of blockchain protocols that use zk-SNARKs to prove smart contract executions, such as Polygon zkEVM, Starknet, and zkSync, are already in production. We believe there is a big market opportunity to generate proofs for these networks at scale in a cost-effective way [1]. There are lots of interesting performance engineering challenges we need to solve to keep up with the maximum device throughput.
- We take the approach of co-designing hardware and software systems to accelerate SNARK generation end-to-end. Our first-generation tech stack uses FPGA accelerators running custom digital logic tailor-made for our use case [2].
- We also conduct cryptography research to identify computationally efficient algorithms for verifiable computing. These research efforts produced a novel cryptographic construction based on towers of binary fields called Binius [3] [4], which we are currently developing into a production-grade system.
Vacant Positions:
Director of Business Operations
Role Qualifications
- 7+ years of experience in operations, finance, or a similar role in a high-growth technology company.
- An proven interest in web3, even if you don't have professional experience in the space.
- Strong general understanding of financial operations, legal and compliance, accounting, tax reporting, and financial planning for technology companies.
- Experience with scaling operations.
- Ability to manage complex projects with many stakeholders - here that might mean data center expansions, financial modeling, or strategic cross-functional initiatives.
- Proven track record of negotiating contracts, optimizing cost structures, and managing vendor relationships.
Bonus Qualifications
- Experience at a consulting firm such as McKinsey, BCG, or Bain could help someone excel in this role, bringing strategic problem-solving skills, analytical rigor, and a high-performance mindset.
- Experience working with the intricacies of a US company. If this isn't experience you have, it's something you'll have to learn on the job.
- Previous work in a hardware-heavy or infrastructure-dependent environments.
Research Engineer, Cryptography Team
Necessary Qualifications
- Significant professional software engineering experience
- Proficiency with Rust
- Understanding of software engineering best practices, especially testing
- Ability to read and understand cryptography research
- Deep familiarity with zero-knowledge cryptography concepts
- Experience implementing cryptographic protocols
- Mathematical aptitude, especially in linear and abstract algebra
Rust Engineer, Cryptography Team
Necessary Qualifications:
- Strong knowledge of Rust and/or C++
- A deep passion for technology, software development, and secure computing
- Demonstrated ability to deliver software projects from inception to completion
- Understanding of algorithm design and computer architecture
- Experience writing multi-threaded, concurrent software
- Ability to think across layers of abstractions
- Mathematical aptitude, especially in linear and abstract algebra
- Experienced and well-versed in Linux, version control, scripting, and build systems
- Understanding of technology tradeoffs and a pragmatic approach to problem solving
- Strong written and verbal communications skills
Systems Engineer
Bonus Qualifications
- If you possess some of the qualifications below, and are curious about some of the others, we would be thrilled to hear from you:
- Significant experience benchmarking, tuning and optimizing non-trivial multi-threaded software across layers of abstraction: Algorithms, concurrency, scheduling, operating system (Linux) performance tweaking, large data and memory constraints, recommendation of hardware configurations.
- Significant professional Rust experience
- Understanding of fundamental blockchain concepts
- Understanding of cryptographic proof systems and zero-knowledge cryptography
- Understanding of microservices architecture
- Implementing high-performance software and distributed systems
- Implementing low-level cryptographic primitives
Staff Rust Engineer
Necessary Qualifications
- Significant professional Rust experience
- Experience with performance tuning or optimization
- Experience implementing high-performance software or distributed systems
- Understanding of computer architecture and configuration
- Ability to think across layers of abstractions
- Understanding of technology tradeoffs and a pragmatic approach to problem solving
- Mentor and guide engineers across the team, providing leadership in Rust development practices, code reviews, and architecture.
Language Engineer, Cryptography Team
Bonus Qualifications
- Experience with performance tuning and optimization
- Experience writing Rust procedural macros
- Experience implementing a compiler or working with compilation frameworks like LLVM
- Understanding of formal methods and proof assistants
- Familiarity with software design patterns
- Experience with ZK circuit programming
System Engineer (Compiler)
Necessary Qualifications
- Professional software engineering experience
- Proficiency with Rust or C++
- Experience writing or reverse-engineering CPU assembly code
- Experience writing virtual machine interpreters or emulators
- Experience with programming language design or runtime implementation
- Understanding of software engineering best practices, especially testing
- Familiarity with zero-knowledge cryptography concepts
- Mathematical aptitude
Application Steps:
- Open the application link
- Browse the available jobs and select the one that suits you.
- Click on "Apply Now" and enter the required informatiشon.
- Ensure that your details are entered correctly, then click "Submit".
Additional Details:
- Source: linked in
- Posting Date: 5/2/2025
- Required Nationalities:
- Required Nationalities: All nationalities
شركة غير قابلة للتخفيض تفتح أبوابها للراغبين في الحصول على فرص عمل مميزة في البحرين
إذا كنت مهتمًا، فراجع التفاصيل التالية:
معلومات عنا:
- نحن نعمل على بناء مجموعة حوسبة عالية الأداء وفعالة من حيث التكلفة لإثباتات التشفير المتقدمة، وخاصة zk-SNARKs. تنطلق الحوسبة القابلة للتحقق باستخدام zk-SNARKs كحل لقيود التوسع والخصوصية التي تعاني منها سلاسل الكتل اليوم. موجة جديدة من بروتوكولات blockchain التي تستخدم zk-SNARKs لإثبات تنفيذ العقود الذكية، مثل Polygon zkEVM وStarknet وzkSync، قيد الإنتاج بالفعل. نعتقد أن هناك فرصة سوقية كبيرة لتوليد إثباتات لهذه الشبكات على نطاق واسع بطريقة فعالة من حيث التكلفة [1]. هناك الكثير من تحديات هندسة الأداء المثيرة للاهتمام التي نحتاج إلى حلها لمواكبة أقصى إنتاجية للجهاز.
- نحن نتبع نهج التصميم المشترك لأنظمة الأجهزة والبرامج لتسريع عملية إنشاء SNARK من البداية إلى النهاية. تستخدم مجموعة التقنيات من الجيل الأول لدينا مسرعات FPGA التي تعمل بمنطق رقمي مخصص مصمم خصيصًا لحالة الاستخدام الخاصة بنا [2].
- كما نقوم بإجراء أبحاث التشفير لتحديد الخوارزميات ذات الكفاءة الحسابية من أجل الحوسبة القابلة للتحقق. وقد أنتجت جهود البحث هذه بنية تشفيرية جديدة تعتمد على أبراج من الحقول الثنائية تسمى Binius [3] [4]، والتي نقوم حاليًا بتطويرها إلى نظام إنتاجي.
الوظائف الشاغرة:
مدير العمليات التجارية
مؤهلات الدور
- أكثر من 7 سنوات من الخبرة في العمليات أو التمويل أو دور مماثل في شركة تكنولوجيا عالية النمو.
- - اهتمام مؤكد بمجال web3، حتى لو لم تكن لديك خبرة مهنية في هذا المجال.
- فهم عام قوي للعمليات المالية والقانونية والامتثال والمحاسبة وإعداد التقارير الضريبية والتخطيط المالي لشركات التكنولوجيا.
- خبرة في عمليات التوسع.
- القدرة على إدارة المشاريع المعقدة مع العديد من أصحاب المصلحة - وهنا قد يعني ذلك توسعات مراكز البيانات، أو النمذجة المالية، أو المبادرات الاستراتيجية متعددة الوظائف.
- سجل حافل في التفاوض على العقود، وتحسين هياكل التكلفة، وإدارة العلاقات مع البائعين.
مؤهلات المكافأة
- إن الخبرة في شركة استشارية مثل McKinsey أو BCG أو Bain يمكن أن تساعد شخصًا ما على التفوق في هذا الدور، من خلال جلب مهارات حل المشكلات الاستراتيجية، والدقة التحليلية، والعقلية عالية الأداء.
- خبرة في التعامل مع التعقيدات التي تواجهها الشركات الأمريكية. إذا لم تكن لديك هذه الخبرة، فسوف يتعين عليك تعلمها أثناء العمل.
- العمل السابق في بيئات تعتمد على الأجهزة الثقيلة أو البنية التحتية.
مهندس أبحاث، فريق التشفير
المؤهلات اللازمة
- خبرة مهنية كبيرة في مجال هندسة البرمجيات
- الكفاءة في التعامل مع Rust
- فهم أفضل ممارسات هندسة البرمجيات، وخاصة الاختبار
- القدرة على قراءة وفهم أبحاث التشفير
- معرفة عميقة بمفاهيم التشفير بدون معرفة
- خبرة في تنفيذ بروتوكولات التشفير
- القدرة على الرياضيات، وخاصة في الجبر الخطي والمجرد
مهندس Rust، فريق التشفير
المؤهلات اللازمة:
- معرفة قوية بلغة Rust و/أو C++
- شغف عميق بالتكنولوجيا وتطوير البرمجيات والحوسبة الآمنة
- أثبت قدرته على تسليم مشاريع البرمجيات من البداية حتى الانتهاء
- فهم تصميم الخوارزمية وهندسة الكمبيوتر
- خبرة في كتابة برامج متعددة الخيوط ومتزامنة
- القدرة على التفكير عبر طبقات التجريد
- القدرة على الرياضيات، وخاصة في الجبر الخطي والمجرد
- ذو خبرة ومعرفة جيدة بنظام Linux والتحكم في الإصدارات والكتابة النصية وأنظمة البناء
- فهم التنازلات التكنولوجية والنهج العملي لحل المشكلات
- مهارات قوية في التواصل الشفهي والكتابي
مهندس أنظمة
مؤهلات المكافأة
- إذا كنت تمتلك بعض المؤهلات المذكورة أدناه، وترغب في معرفة المزيد عن بعض المؤهلات الأخرى، فسنكون سعداء لسماع رأيك:
- خبرة كبيرة في معايرة وضبط وتحسين البرامج متعددة الخيوط غير التافهة عبر طبقات التجريد: الخوارزميات، والتزامن، والجدولة، وتعديل أداء نظام التشغيل (لينكس)، والقيود الكبيرة على البيانات والذاكرة، والتوصية بتكوينات الأجهزة.
- خبرة مهنية كبيرة في مجال Rust
- فهم المفاهيم الأساسية لسلسلة الكتل
- فهم أنظمة الإثبات التشفيري والتشفير بدون معرفة
- فهم بنية الخدمات المصغرة
- تنفيذ البرامج عالية الأداء والأنظمة الموزعة
- تنفيذ البدائيات التشفيرية منخفضة المستوى
مهندس فريق الصدأ
المؤهلات اللازمة
- خبرة مهنية كبيرة في مجال Rust
- خبرة في ضبط الأداء أو تحسينه
- خبرة في تنفيذ برامج عالية الأداء أو أنظمة موزعة
- فهم بنية الكمبيوتر وتكوينه
- القدرة على التفكير عبر طبقات التجريد
- فهم التنازلات التكنولوجية والنهج العملي لحل المشكلات
- توجيه وإرشاد المهندسين في جميع أنحاء الفريق، وتوفير القيادة في ممارسات تطوير Rust، ومراجعة التعليمات البرمجية، والهندسة المعمارية.
مهندس لغة، فريق التشفير
مؤهلات المكافأة
- خبرة في ضبط الأداء وتحسينه
- خبرة في كتابة وحدات الماكرو الإجرائية في Rust
- خبرة في تنفيذ المترجم أو العمل مع أطر التجميع مثل LLVM
- فهم الأساليب الرسمية ومساعدي الإثبات
- التعرف على أنماط تصميم البرمجيات
- الخبرة في برمجة الدوائر الكهربائية ZK
مهندس النظام (المترجم)
المؤهلات اللازمة
- خبرة مهنية في مجال هندسة البرمجيات
- الكفاءة في استخدام لغة Rust أو C++
- خبرة في كتابة أو هندسة عكسية لكود تجميع وحدة المعالجة المركزية
- خبرة في كتابة برامج تفسير أو محاكاة الآلات الافتراضية
- خبرة في تصميم لغة البرمجة أو تنفيذها وقت التشغيل
- فهم أفضل ممارسات هندسة البرمجيات، وخاصة الاختبار
- التعرف على مفاهيم التشفير بدون معرفة
- القدرة الرياضية
خطوات التقديم:
- افتح رابط التطبيق
- تصفح الوظائف المتاحة واختر الوظيفة التي تناسبك.
- انقر فوق "تقدم الآن" وأدخل المعلومات المطلوبة.
- تأكد من إدخال تفاصيلك بشكل صحيح، ثم انقر فوق "إرسال".
تفاصيل إضافية:
- المصدر: linked in
- تاريخ النشر: 5/2/2025
- الجنسيات المطلوبة:
- الجنسيات المطلوبة: جميع الجنسيات
.png)
