{"id":3684596,"url":"https://alion.io/job/siemens-thesis-master-deterministic-execution-in-concurrent-webassembly","title":"Thesis (Master): Deterministic Execution in Concurrent WebAssembly","company":{"id":1790224,"name":"Siemens","domain":"siemens.de","url":"https://alion.io/company/siemens-de","size_band":"5000+","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":null,"truth_index":null},"role":"Early Careers","role_family":"Early Careers","seniority":null,"employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Germany"],"countries":["DE"],"hiring_countries":[],"hiring_countries_total":0,"salary":null,"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":false,"technologies":[{"name":"C++","optional":false},{"name":"Java","optional":false},{"name":"Rust","optional":false},{"name":"WebAssembly","optional":false}],"status":"live","first_seen_at":"2026-11-03T11:41:28Z","employer_posted_date":null,"last_verified_at":"2026-11-03T11:41:28Z","board_verified":false,"closed_at":null,"days_open":4,"trust":{"level":"not_scored","repost_count":null,"flags":[],"days_open":4},"description":"siemens.de/jobs\nThesis (Master): Deterministic Execution in Concurrent WebAssembly\n\nArt der Anstellung: Befristet\n\nDu interessierst dich für Zwischensprachen , Bytecode Virtual Machines und Nebenläufigkeit in deterministischen Systemen? Dann komm für deine Masterarbeit nach Erlangen.\n\nDie Zwischensprache WebAssembly (Wasm) ist eine vielversprechende Technologie zur Bereitstellung isolierter und portabler Workloads. Dies ist zunehmend erforderlich, da moderne industrielle Automatisierung Software benötigt, die über heterogene Hardware- und Herstellersysteme hinweg portabel, modular und aktualisierbar ist. Gleichzeitig müssen Automatisierungssysteme ein vorhersehbares Verhalten unter strengen zeitlichen Randbedingungen gewährleisten. Das Reaktormodell bietet dazu einen strukturierten Ansatz, der nebenläufige, ereignisgesteuerte Systeme mit expliziter Kommunikations- und Timing-Semantik ermöglicht. Eine auf dem Reaktormodell basierende Programmierumgebung ist Lingua Franca (LF). LF stellt Mechanismen zur deterministischen Koordination nebenläufiger Komponenten bereit.\nDiese Masterarbeit untersucht, wie Wasm-Workloads als Reaktoren in LF integriert und in Echtzeitkontexten ausgeführt werden können. Die Arbeit adressiert die Potenziale und Grenzen der Kombination von Wasm-Portabilität mit den Anforderungen reaktiver Systeme hinsichtlich Timing, Nebenläufigkeit und Determinismus. Deine Ideen können dabei einen echten Unterschied machen!\nDas bieten wir dir: \nSpannende Forschungs- und Entwicklungsprojekte, in denen du dein theoretisches Wissen in die Praxis umsetzen kannst\nIndividuelle Betreuung und Unterstützung durch erfahrene Expertinnen und Experten\nZugang zu modernsten Technologien, Laboren und Ressourcen\nVielfältige Möglichkeiten, eigene Ideen einzubringen und Projekte aktiv mitzugestalten\nHervorragende Karrierechancen durch den Kontakt zu potenziellen Arbeitgebern\n\nSo kannst du etwas bewirken \nDu arbeitest dich zunächst intensiv in die Ausführung des Reactor-Modells ein und nutzt Lingua Franca als Referenz. Dies bildet die konzeptionelle Grundlage deiner Masterarbeit.\n\nDarauf aufbauend integrierst du Ein-/Ausgaben (I/O) als Ereignisquelle und bindest WebAssembly -Workloads als Reaktoren in die Ausführungsumgebung von Lingua Franca ein.\n\nAnschließend beschäftigst du dich mit asynchronem WebAssembly und entwickelst ein mit Lingua Franca kompatibles Laufzeitsystem.\n\nDanach entwickelst du einen auf das Laufzeitsystem zugeschnittenen Scheduling-Algorithmus , der eine deterministische Ausführung sicherstellt.\n\nAbschließend implementierst du Tools zur Messung und Bewertung der Echtzeitfähigkeit des Gesamtsystems.\n\nSo überzeugst du uns: \nAusbildung Du bist aktuell in einem Masterstudiengang der Informatik, Softwaretechnik, Elektrotechnik, Embedded Systems oder eines vergleichbaren Fachgebiets eingeschrieben.\n\nErfahrungen und Kenntnisse:\nDu interessierst dich für Programmiersprachenkonzepte, Laufzeitsysteme , verteilte oder nebenläufige Systeme sowie Echtzeitsysteme .\n\nDu verfügst über Kenntnisse in Systemsprachen wie C, C++, Rust, Java oder einer vergleichbaren systemnahen Programmiersprache.\n\nDu hast Erfahrung mit der Entwicklung von Embedded Systems .\n\nDu hast ein grundlegendes Verständnis von Nebenläufigkeit , Scheduling , Betriebssystemen und formalen Systemeigenschaften.\n\nErfahrungen mit WebAssembly , Lingua Franca oder reaktiver Programmierung sind von Vorteil.\n\nArbeitsweise: Du zeichnest dich durch eine analytische und strukturierte Arbeitsweise aus und hast Interesse daran, einen Forschungsprototypen zu entwerfen, zu implementieren, zu testen und zu evaluieren.\n\nSprachkenntnisse: Du verfügst über sehr gute Englischkenntnisse.\n\nDu bist viel mehr als deine Qualifikationen und wir glauben an das Potential jeder einzelnen Person. Wir freuen uns darauf, dich kennenzulernen!\nDeine individuelle Persönlichkeit und Sichtweise sind uns wichtig. Wir schaffen eine Arbeitsumgebung, die die Vielfalt der Gesellschaft widerspiegelt und unterstützen dich in deiner persönlichen und beruflichen Entwicklung. Bring deine authentische Persönlichkeit ein und gestalte gemeinsam mit uns eine bessere Zukunft. Wir legen Wert auf Chancengleichheit und freuen uns über Bewerbungen von Menschen mit Behinderung. \n\nÜber uns \nAls führendes Technologieunternehmen bietet Siemens dir hervorragende Möglichkeiten, deine Bachelor- oder Masterarbeit in einem innovativen und praxisnahen Umfeld zu verfassen. Du stehst kurz vor deinem Studienabschluss und bist auf der Suche nach einem interessanten Thema für deine Bachelor- oder Masterarbeit? Dann bist du bei uns genau richtig!\nwww.siemens.de/karriere - wenn du mehr Informationen zu Jobs & Karriere bei Siemens erhalten möchtest. \n\nFAQ - wenn du eine Frage zum Thema Bewerbung bei Siemens hast.\n\nWenn du darüber hinaus noch Fragen hast, wende dich gerne an uns: http://www.siemens.com/fragenzurbewerbung\n\n#sagthesis\n\n facebook.com/careerSiemens","description_format":"text","description_chars":4937,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":false,"languages":[]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Industrial Automation","Smart Grid","Building Automation & Controls"],"lifecycle":[{"event":"open","at":"2026-11-03T14:24:00Z"}],"visa":[],"liveness":{"score":81,"band":"hot","label":"Hiring now","p_open":1,"p_active":0.814,"p_room":1,"age_days":3,"expected_fill_days":11,"reasons":["seen:3","win:early"],"computed_at":"2026-11-07T05:47:08Z"},"pay":null,"html_url":"https://alion.io/job/siemens-thesis-master-deterministic-execution-in-concurrent-webassembly","json_url":"https://alion.io/job/siemens-thesis-master-deterministic-execution-in-concurrent-webassembly.json","meta":{"generated_at":"2026-11-07T22:32:28Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":37099,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-08T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.02,"usd":0.002,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":1790224},"rest":"https://alion.io/mcp/rest/get_company?id=1790224"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fsiemens-thesis-master-deterministic-execution-in-concurrent-webassembly"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"live","price":{"credits":1,"usd":0.1},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Fsiemens-thesis-master-deterministic-execution-in-concurrent-webassembly"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.02,"usd":0.002},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Fsiemens-thesis-master-deterministic-execution-in-concurrent-webassembly"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/siemens-thesis-master-deterministic-execution-in-concurrent-webassembly\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fsiemens-thesis-master-deterministic-execution-in-concurrent-webassembly"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":3684596}},{"tool":"search_jobs","arguments":{"company":"siemens.de","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":3684596},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}