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
-
Werkstudent (m/w/d) Data & Analytics EUR 32K-32KData Quality | Database Design | Python | SQL | StatisticsCompany events | Corporate benefits discounts | Hybrid work model | Job lunch subsidy | Team eventsEntry-level Internship Part TimeBerlin20h ago
-
API Integration | JavaScript | LLM API | N8n | PandasBarrier-free workplace | Cafeteria | Childcare | Coaching | Company doctorEntry-level InternshipStuttgart, DE1d ago
-
Artificial Intelligence | Data Analysis | Data Visualization | Databases | Information TechnologyContinuing education | Fitness and sport programs | Global learning program | Subsidized mealsEntry-level Full TimeDitzingen, Germany2d ago
-
Big Data | Cloud Computing | Data Analysis | Data Management | DatabasesAccessible workplace | Cafeteria | Coaching | Company pension | Employee discountsEntry-level Full TimeGermersheim, DE2d ago
-
Intern (f/m/d) Mathematics, Economics, Business IT or Data Science (for 6 months in part-/full-time) EUR 30K-32KData Analysis | Financial markets | MATLAB | Microsoft Excel | PythonFlexible working hours | Mobile working arrangements | Work-life balanceEntry-level Full Time InternshipLeipzig, DE2d ago
-
Bioconductor | Bioinformatics | CRISPR/Cas9 | DNA Methylation | HPCSenior-level Full TimeKiel, Schleswig-Holstein, DE, 241052d ago
-
C# | MATLAB | NumPy | Pandas | PythonEnglish CV required | Part-time work | Project based workSenior-level Full TimeGermany - Remote R3d ago
-
Internship Digital Procurement Strategy - Data Analytics & Data Governance starting in Ocotober 2026 EUR 23K-23KDAX | Data Governance | Data Visualization | Data analytics | DatabricksFlexible working hours | Networking eventsEntry-level Full Time InternshipLeinfelden-Echterdingen, Baden-Wuerttemberg, Germany4d ago
-
AI Developer Intern (m/w/d) EUR 50K-54KAPI Design | Agent Technologies | Cloud Native | Docker | Full StackCareer development opportunities | Flexible work hours | Modern hardware | Remote work | Supportive team cultureEntry-level Full Time InternshipMünchen4d ago
-
Working Student - AI Research EUR 34K-34KData Annotation | Data Preparation | Data Validation | English communication | Machine LearningFlexible working hours | Hybrid work model | International team | Parking garage | Regular team eventsEntry-level Full Time Part TimeMunich, BY, Germany4d ago
-
Analytical Method Development | Automation | Data Analysis | Data Integrity | Data ManagementSenior-level Full TimePenzberg, Germany5d ago
-
Business Intelligence | CRM | Data Analysis | Data Quality | Data ValidationFlexible working hours | Hybrid work | Learning opportunities | Practical responsibilityEntry-level Part TimeGundelfingen, Bayern, DE5d ago
-
Data Analytics Intern (FT Potential) EUR 25K-25KData Analysis | Data Visualization | Python | R | SQL30 days vacation | Flexible work arrangements | Open communication culture | Remote-friendly | Team offsitesEntry-level InternshipBerlin / Remote R5d ago
-
Battery modeling | Data Analysis | Energy system optimization | Git | Lithium IonEntry-level Full Time InternshipRenningen, BW, Germany5d ago
-
Argo CD | Automation | Azure | Backend Development | DEVEXFlextime | Mobile working | Student networkEntry-level Full Time InternshipSchwieberdingen, BW, Germany5d ago
-
Testia GmbH - Working Student – IT Projects, Business Intelligence & Data Analysis (m/f/d) EUR 36K-36KAppSheet | Dashboarding | Data Visualization | Excel | JavaScriptFlexible working hours | Mobile working | Professional developmentEntry-level Part TimeBremen (Testia), Germany6d ago
-
Computational Materials | Computational materials science | Generative Models | Machine Learning | Materials ScienceEntry-level InternshipBerlin, BE, DE6d ago
-
Intern Demo Experience & Applied AI EUR 21K-25KAI | Data Storytelling | Demo configuration | Language Models | Large Language ModelsFlexible work schedule | Hybrid work model | Learning platform access | Mental health counseling | Mentorship programsEntry-level InternshipMunich, Germany6d ago
-
Commercial Analytics Praktikum (m/f/d) EUR 28K-28KDashboarding | Data Analysis | Excel | Google Sheets | KPI ReportingAdditional paid vacation | Corporate discounts | Flexible working hours | Free breakfast | Free lunchEntry-level InternshipDüsseldorf, North Rhine-Westphalia, Germany6d ago
-
API | Data Analysis | Data Pipelines | Deep learning | ELTBicycle leasing | Company events | Corporate benefits | Deutschlandticket subsidy | ESG and CSR engagementMid-level Full TimeStuttgart, Baden-Württemberg, Deutschland6d ago
-
NumPy | Pandas | PyTorch | Python | Scikit-learnCareer mentoring | Flexible working hours | Free parking | Paid time off | Student network activitiesEntry-level InternshipStuttgart, DE, 704697d ago
-
Cloud Data | Cloud Data Architecture | Dashboards | Data Architecture | Data PipelinesFahrtkostenzuschuss | Health and wellness benefits | Hybrid work | LinkedIn Learning access | Meal subsidyEntry-level Part TimeUnterföhring (bei München), DE, 857747d ago
-
Werkstudent (m/w/d) im Bereich Konzern-Finanz-Services - Liquidität, Statistik & Abwicklung 2026 EUR 44K-44KData Analysis | Dataiku | Excel | Python | SQLCafeteria | Canteen | Career development feedback | Flexible working hours | Germany ticketEntry-level Part TimeFrankfurt am Main, DE7d ago
-
(Associate) Manager Data Science & AI (m/w/d) EUR 50K-60KAgent systems | Amazon Web Services | Artificial Intelligence | Cloud Computing | Cloud platformCompany Car via Salary Conversion | Company fitness | Duz-culture | Family service | Flexible vacationMid-level Full Timebundesweit, Germany R7d ago
-
Algorithmic trading | Backtesting | Data Visualization | Market-Making | Microsoft ExcelFree subscription to PRIME Broker | International diverse team | Knowledge sharing sessions | Modern hardware and tools | Remunerated mandatory internshipsEntry-level InternshipMünchen, BY, Germany7d ago