Formal Verification Engineer

 

What you'll be doing:

  • In this position you will use formal verification algorithms to formally prove the correctness of complicated logic problems.
  • You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology.

 

What we need to see:

IT Engineer

What you’ll be doing:

  • Provide best in class service level and compliance

  • Resolve hardware and software issues

  • Onboard new hires from IT aspect / offboard leaving employees

  • Laptops and Desktops installation/deployment

  • Document your efforts, tasks and activities (ticketing system) and assist in the creation and maintaining of all technical documentation

 

What we need to see:

Full Chip STA Engineer

What you will be doing:

  • Be in charge of full chip level STA convergence from early stages to signoff.

  • Take part in Full Chip floor plan design and Netlist creation with aim to optimize timing convergence and work efficiency.

  • Define and optimize, together with CAD, STA signoff flows and methodologies.

  • Digital Partitions' and analog IPs' timing integration, giving feedback and driving convergence.

Physical Design Backend Engineer

What you will be doing:

  • Physical design of blocks/top-level according to specifications under challenging constraints targeting for the best power, area, and performance.

  • Be exposed and work on a variety of challenging designs (including high cell count and HS blocks). Resolving complex timing and congestion problems.

Senior Chip Design Engineer

 

What you'll be doing:

  • Work in a design team that develops core units within the Switch and GPU silicon.

  • Micro-architecture planning for units and modules.

  • Design RTL units/blocks according to Arch. specifications under challenging constraints with high orientation to power, area, and performance.

  • RTL synthesis, timing, supporting verification, and silicon post-TO activities.

Chip Design Student

What you'll be doing:

  • Work in a combined design and verification team which develops some of the Network Adapter silicon core units

  • Build reference models, verify and simulate chip blocks/entities according to specifications under challenging constraints with high orientation to performance.

  • Partner closely with multiple teams within organizations such as Architecture, Micro- Architecture, and FW.

 

סדנאות הסמכה יישומיות מבית NVIDIA

09 בפברואר 2024, 11:00 - 17:29 
און ליין  
Nvidia DLI

מוזמנים.ות להירשם! 

ההרשמה נפתחה! 

עם פתיחת שנת הלימודים האקדמית, חברת ב-NVIDIA שמחים להציע לסטודנטים.ות בפקולטה למדעים מדוייקים ובפקולטה להנדסה סדנאות הסמכה יישומיות של ארגון הלמידה העמוקה מבית ארגון הלמידה העמוקה של אנבידיה NVIDIA Deep Learning Institute. 

*וכל זה ללא עלות כלל*

הסדנאות הינן טכניות ומאפשרות גישה להרצת קוד על שרתי ענן מואצי GPU, עבור פרויקטים בתחומים מחשוב מואץ ובינה מלאכותית יוצרת (Generative AI).

 

מומחים מטעם NVIDIA מנחים את הסדנאות, וזו הזדמנות עבורכם.ן סטודנטים.ות עם השלמת הסדנא לעבור תהליך הערכה שיקנה לכם הסמכה מוכרת, שתתרום לבניית מסלול הקריירה שלכם.

 

*סטודנטים.ות, חוקרים.ות וסגל עם כתובת מייל ממוסד אקדמי בלבד, רשאים להירשם ולהשתתף בסדנאות.
שימו לב: ניתן להירשם ללא עלות רק לאחת מתוך 2 הסדנאות בלבד.

  • Fundamentals of Accelerated Computing with CUDA Python
    • January 24, 2024 @ 10:00 a.m.-6:00 p.m. IST
  • Generative AI with Diffusion Models
    • February 8, 2024 @ 10:00 a.m.-6:00 p.m. IST

בהצלחה! 

המחקר מתמקד בשימוש בסנסורים ננומטריים פלואורסנטיים בטווח האינפרא-אדום לגילוי מולקולות רנ"א ששינוי בריכוזן מעיד על התפתחות מחלות, כך שהן מהוות סמנים מוצלחים וספציפיים לאבחון מוקדם. זיהוי אופטי באמצעות חיישנים פלואורסנטיים מציע יתרונות כמו תוצאה מיידית, שימוש בנפחי דגימה קטנים, ותגובה יציבה לאורך זמן. המחקר פורסם בעיתון ACS sensors ונבחר להופיע על שער העיתון.

בתמונה שער העיתון ACS sensors המציג את הננוסנסורים המבוססים על ננו-צינוריות מפחמן

 

במעבדה של פרופ' גילי ביסקר, מתמקדים בננו-צינוריות פחמן הפולטות פלורסנציה בתחום האינפרא-אדום הקרוב ובכך פועלות באזור השקיפות של דוגמאות ביולוגיות. יכולת הסנסורים לזהות מולקולות קטנות תלויה בשינויים בעוצמת הפליטה הפלורסנטית או בשינוי באורך הגל שנגרמים על ידי קישור מולקולת המטרה לפני השטח של הסנסורים. תכנון נכון של עטיפת הננו-צינוריות בצורה סינתטית יוצר שטח פנים היכול להגיב או להיקשר למולקולות קטנות בצורה ספציפיות בסביבה ביולוגית מורכבת.

 

המחקר מתמקד בתהליך זיהוי וסינון של ננוסנסורים להתקף לב על ידי שימוש במולקולות RNA לזיהוי מוקדם. העבודה כללה יצירת ספרייה של חמישה ננו-סנסורים עם רצפי דנ"א שונים ובדיקת תגובתם למטרות מסוג דנ"א או רנ"א בסביבה פשוטה, ולאחר מכן, בסביבה מורכת המדמה יותר דגימות דם.

 

מתוך חמישה חיישנים שנבדקו, רק חלק הראו תגובה למולקולת המטרה בסביבה הסטרילית, ומתוכם נמצא סנסור אחד מתאים שהציג תגובה פלורסנטית מבטיחה לרצף המטרה שלו גם בסביבה המורכבת. בדיקות נוספות אישרו את  הרגישות והספציפיות של הסנסור לרצף המטרה שלו אפילו בסביבה המכילה רצפים אחרים רבים.  

באיור-ניתן לראות את תהליך הזיהוי והסינון שבוצע על מנת למצוא את הסנסור המתאים ביותר לזיהוי מוקדם של התקף לב. מתוך 5 רצפים שונים שנבדקו בסביבה הפשוטה של בופר בלבד, רק 3 מהם הראו שינויים בפלורסנציה כתגובה לרצפי המטרה. כאשר נבדקו הסנסורים בסביבה ביולוגית מורכבת יותר, סרום, סנסור אחד הגיב לרצף המטרה שלו, ובכך הוא נבחר להמשך העבודה.

 

המחקר בהובלת עדי הנדלר-נוימרק במעבדה של פרופ׳ ביסקר, מדגיש את הפוטנציאל של הננוסנסורים המבוססים על ננו-ציונוריות מפחמן כחיישנים אופטיים לאיתור מוקדם של התקף לב. בנוסף, הודגמה החשיבות של ביצוע הניסויים המבוססים על דגימות ביולוגיות בסביבה המתאימה עבור פיתוח החיישן. שיטת הסינון והבחירה יכולה להתאים לספריות אחרות של ביוסמנים וטכנולוגיות סנסורים ננומטריים נוספות, ומציעה דרך יצירה והתאמה של חיישנים חדשים.

 

 

 

Dr. Yuval Beck - Smart Grid: from Ohms Law to Neural Networks

סמינר המחלקה לאלקטרוניקה פיזיקלית

סמינר זה יחשב כסמינר שמיעה לתלמידי תואר שני

 

25 בינואר 2024, 11:00 
011,Kitot Building  
Dr. Yuval Beck - Smart Grid: from Ohms Law to Neural Networks

 

Dr. Chaim Baskin- Efficient and Robust Deep Learning architectures for Real-World problems

סמינר מחלקת מערכות - EE Systems Seminar

22 בינואר 2024, 15:00 
Electrical Engineering-Kitot Building 011 Hall  
Dr. Chaim Baskin- Efficient and Robust Deep Learning architectures for Real-World problems

 Electrical Engineering Systems Seminar 

 

(The talk will be given in English)

 

Speaker:     Dr. Chaim Baskin, Visiting Assistant Professor

VISTA laboratory in the Computer Science Department's Center for Intelligent Systems, Technion

 

 hall, Electrical Engineering-Kitot Building‏ 011

Monday, January 22nd, 2024

15:00 - 16:00

 

Efficient and Robust Deep Learning architectures for Real-World problems

 

 

Abstract

The advancements in deep learning models and their ability to excel in various fields are awe-inspiring, but practical applications still face several challenges. From a data-centric perspective, Deep Neural Networks (DNNs) require a vast amount of precisely labeled data. From a model-centric perspective, DNNs tend to be amenable to malicious perturbations, have limited throughput, and struggle to process irregular data. Unfortunately, these limitations restrict the ability of deep learning to solve a wide range of real-world problems in domains such as Biology, Chemistry, Physics, 3D geometry, social networks, and recommendation systems.

In my talk, I will discuss four critical challenges in real-life deep learning.

Firstly, I will discuss a method for reducing the bandwidth of read/write memory interactions during model deployment while taking into account communication complexity constraints. Prominent applications include large-language models, transformer-based foundation models, and large-graph architectures. 

Secondly,  I will introduce innovative approaches that enable learning with noisy and limited annotations. The first approach facilitates self-supervised pre-training to detect noisy samples better. The second approach takes advantage of a small calibration set to train a teacher model in a bi-level optimization framework implicitly. In addition, I will describe how to use a small number of annotated labels while efficiently merging between modalities to handle deep learning's necessity for clean and large amounts of annotated data.

Thirdly,  I will describe adversarial attacks that can efficiently mislead any navigation algorithm. These attacks are a significant safety concern that disables deep learning models from being deployed in real-world platforms, such as autonomous vehicles.

Lastly, I will introduce the geometric deep learning paradigm and focus on learning graph data in the context of various real-world problems. I will delve into the importance of the adversarial robustness of these models and relate to their expressivity.

I will also discuss future directions on combining the presented approaches to design novel deep learning models that will efficiently merge between different modalities under relaxed assumptions on the quality and amount of annotated data, safe for use in real-world platforms, and meet the specifications of modern AI accelerators.

Short Bio

Chaim Baskin is a Senior Research Associate at the VISTA laboratory in the Computer Science Department's Center for Intelligent Systems. He is also a Visiting Assistant Professor in the Faculty of Data and Decision Science at Technion and holds a Visiting Scholar position at Czech Technical University in Prague. Chaim's research focuses on representation learning, geometric deep learning, and optimization of neural networks for efficiency. His papers have been published in premier venues such as CVPR, ICLR, ICCV, JMRL, and others. In 2021, he obtained his Ph.D. from the Computer Science Department at Technion and held a post-doctoral position in the same department from 2021 to 2022. Chaim is also a member of Technion's TechAI and TASP research hubs.

 

השתתפות בסמינר תיתן קרדיט שמיעה = עפ"י רישום שם מלא + מספר ת.ז. בטופס הנוכחות שיועבר באולם במהלך הסמינר

 

 

עמודים

אוניברסיטת תל אביב עושה כל מאמץ לכבד זכויות יוצרים. אם בבעלותך זכויות יוצרים בתכנים שנמצאים פה ו/או השימוש שנעשה בתכנים אלה לדעתך מפר זכויות
שנעשה בתכנים אלה לדעתך מפר זכויות נא לפנות בהקדם לכתובת שכאן >>