מחפשים את השלב הבא בקריירה?

שלחו קורות חיים, אנחנו נדאג לכל השאר.

שותפים להצלחה

Algorithm developer

משרה חמה

מיקום: ת"א והמרכז

תיאור המשרה:

החברה בשווי שוק נוכחי של 360M$, רווחית מהיום הראשון, פיתחו טכנולוגיה מורכבת וחדשנית, פתרונות של מערכות מתמטיות ושימושם לאימות נכונות הקוד. נחשבת אחת מהבעיות הקשות ביותר במדעי המחשב. החברה מממשת אותם במוצר פלטפורמת Security as a Service לאבטחת חוזים חכמים בBlockchain. מדובר בחברה בצמיחה פנומנלית ומאופיינת באחוז גבוה מאד של אקדמאיים מהשורה הראשונה.
מהות התפקיד: בדיווח ל Head of innovation, הצטרפות לצוות קיים, עיסוק בעבודתResearch to production עבור מוצר משלים לחברה, מחקר של בעיות לא פתורות בתעשייה, קריאת מאמרים ופיתוח אלגוריתמים לבעיות הקשורות לFuzzing, בחינה שלהם, מימוש POC עד Production, כתיבה בKotlin, משלבים גם מודלים של Machine learning.

דרישות המשרה:

- תואר MSC במדעי המחשב או מתמטיקה
- 5 שנות ניסיון בתעשייה
- ניסיון כאלגוריתמאי/ת באחד מהתחומים: Analysis ,SMT Analysis ,ו-Symbolic Execution , Formal Verification.

מס' משרה: 140735

שלחו פרופיל