Master Thesis Exploring Formal Guarantees for Neural Network Optimizations
Tasks
- Analyze neural network optimization strategies
- Develop mathematical framework for formal verification
- Document research findings
- Evaluate hardware acceleration impact on numerical stability
- Present research results to team
- Verify numerical tolerance limits
Perks/Benefits
- N/A
Skills/Tech-stack
C++ | Deep learning | LaTeX | Linux | Neural Networks | Python | TVM
Education
N/A
Regions
Countries
States
Related jobs
-
Applied AI Engineering Intern (m/f/d) EUR 24K-26KAWS | Azure | C# | C++ | Cloud PlatformsMentorship | Real-world project ownership | Remote workEntry-level Full Time InternshipRemote, Germany R1d ago
-
Entry-level InternshipFrankfurt am Main, DE4d ago
-
Director, Data Science - Deep Learning & AI EUR 100K-116KA/B | A/B Testing | Attention Mechanisms | B testing | DBTCorporate discounts | Corporate pension plan | Digital meal vouchers | Educational budget | Employee share purchase planExecutive-level Full TimeBerlin, Germany5d ago
-
AWS | Azure | Data Quality | Data Science | Data integrationCorporate volunteering | Family support | Flexible working hours | Health and fitness programs | Mobile workingSenior-level Full Timemehrere Standorte, DE5d ago
-
Cloud Computing | Data Pipelines | Deep learning | Distributed Computing | Feature extractionFlexible work culture | Inclusive work culture | Professional developmentMid-level Full TimeDarmstadt, Hessen, DE, 642935d ago
-
Computer Vision | Data Annotation | Deep learning | JAX | PyTorchEntry-level Full TimeLippstadt, NORDRHEIN-WESTFALEN, Germany; HKG Lippstadt Plant …5d ago
-
Data Analysis | Data Transformation | MS Office | Microsoft Excel | Power BIIntern network | Job ticket | Meal subsidies | Product allocationsEntry-level InternshipFrankfurt am Main, HE, DE5d ago
-
Action models | Computer Vision | Flow matching | Language Models | Large Language ModelsEntry-level Full Time InternshipMünchen, Germany5d ago
-
Computer Vision | Flow matching | Machine Learning | PyTorch | PythonEntry-level Full Time InternshipMünchen, Germany5d ago
-
AI Models | Data Pipelines | Data Science | Feature Engineering | GitDiscounts on cafeteria meals | Flexible working hours | Mobile work | Student networkEntry-level Full Time InternshipStuttgart, BW, Germany6d ago
-
Senior Quantitative UX Researcher, Material Design EUR 112K-115KAndroid | Data Analysis | Data Visualization | Data cleaning | Data joiningInternal tools | Mentorship | Regular meetupsSenior-level Full TimeMunich, Germany6d ago
-
Automation | C++ | Mechatronics | Python | RoboticsFlexible working hours | Mentorship and feedback | Mobile work flexibility | Research lab experienceEntry-level Full TimeKarlsruhe, Keine Entgeltgruppe6d ago
-
AI & Data Science Consultant (m/w/d) EUR 54K-54KAI Automation | APIs | Advanced Analytics | Data Analysis | Data VisualizationCareer growth | Flexible work hours | Mentoring | Offsites | Remote workMid-level Full TimeBonn, Germany6d ago
-
Agentic AI | Analytics | Cloud Computing | Data Architecture | Data EngineeringCorporate discounts | Daycare allowance | Employee events | Healthy snacks and beverages | Training and learning programsExecutive-level Full TimeMunich, Germany; Berlin, Germany; Berlin6d ago
-
Artificial Intelligence | Data Analysis | Deep learning | MATLAB | Machine LearningFlexible working hours | Internship mentorship | Onsite or remote work options | Paid internship | Student networkingEntry-level Apprenticeship Full Time InternshipStutensee, Germany6d ago
-
Intern Data Analytics & Digital Reporting EUR 18K-22KBusiness Intelligence | Data Quality | Palantir | Python | SQLConstructive feedback | Fitness and sports room | Flexible working hours | Friendly informal work environment | On-site bistroEntry-level InternshipHANNOVER HQ,DE-NI,Germany7d ago
-
Clustering | Data analytics | Feature Engineering | Flask | GitBarrierefreiheit | Betriebliche Altersvorsorge | Betriebsarzt | Coaching | EssenszulagenEntry-level InternshipBremen, DE7d ago
-
Werkstudent (m/w/d) Machine Learning EUR 31K-34KData Analysis | Data Preparation | Fault prediction | Feature Engineering | Machine LearningCafeteria on site | Employee discounts | Free parking | Health screening | Public transport accessEntry-level Part TimeKöln, NW, DE, 511497d ago
-
Laboratory experience | MATLAB | Probabilistic Modeling | Python | Quantum navigation30 days holidays | Fitness Center | Flexible work hours | International environment | Networking opportunitiesEntry-level Full TimeTaufkirchen / Ottobrunn, Germany7d ago
-
Internship: Management Associate — Data Science & Digital Customer Experience Design (m/f/x) EUR 28K-28KArtificial Intelligence | DBT | Data Modeling | Data Pipelines | ExperimentationCareer growth | Free drinks and snacks | Fun team events | Hybrid work options | Team bondingEntry-level Full Time TemporaryMünchen8d ago
-
Werkstudent*in (Data Analytics / KI – Analyse von Kommunikationsdaten in Diagnoseprozessen) EUR 32K-32KAgile project management | Data Analysis | Data Interpretation | Data Preparation | Data VisualizationBarrier free access | Cafeteria | Child care | Coaching | Company doctorEntry-level Part TimeSindelfingen, DE8d ago
-
Praktikum Data Analytics in der Logistik EUR 38K-38KAzure | Chain management | Controlling | Data analytics | KNIMEHybrid work | International teamEntry-level Full Time InternshipLohr am Main, BY, Germany11d ago
-
Deep learning | Digital Pathology | Image analysis | Immunohistochemistry | Machine LearningClimate Friendly Transportation Options | Corporate benefits discounts program | Flexible work arrangements | Language learning platform | Professional developmentEntry-level Full TimeWuppertal-Aprath, Nordrhein-Westfalen, DE11d ago
-
Artificial Intelligence | Deep learning | Digital Pathology | Image analysis | Slide imagingCorporate benefits program | Flexible work arrangements | Inclusive work environment | Job tickets | Language learningEntry-level Full TimeWuppertal-Aprath, North Rhine Westfalia, DE11d ago
-
Data Analysis | Data Pipelines | Data Visualization | Data cleaning | Data integrationDiscounted cafeteria meals | Local transit access | Mentorship | Student mentoring | Student networkingEntry-level Full Time InternshipDettingen/Erms (EKPO), Germany11d ago