Postdoc: Networked Systems Abstractions Lab (LASeR) — EPFL
- Ort
- Lausanne
- Vertrag
- full-time
- Veröffentlicht
- vor 5 Tagen
Rollenüberblick
Mission
Das EPFL Networked Systems Abstractions Lab (LASeR) entwickelt Programmiersprachen und formale Argumentationswerkzeuge für vernetzte Systeme.
Netzwerke sind die unsichtbare Infrastruktur, die die moderne Welt verbindet, aber Programmierung und Argumentation über sie sind überraschend schwierig.
- Mission
- Das EPFL Networked Systems Abstractions Lab (LASeR) entwickelt Programmiersprachen und formale Argumentationswerkzeuge für vernetzte Systeme.
- Ein anregendes und internationales Arbeitsumfeld Ausgezeichnete Arbeitsbedingungen
- Möglichkeit, modernste Forschung in einer der dynamischsten wissenschaftlichen Einrichtungen Europas durchzuführen
Was das Unternehmen bietet
- Ein anregendes und internationales Arbeitsumfeld Ausgezeichnete Arbeitsbedingungen
- Möglichkeit, modernste Forschung in einer der dynamischsten wissenschaftlichen Einrichtungen Europas durchzuführen
- Gelegenheit zur Interaktion mit international anerkannten Experten für Programmiersprachen, Verifikation und Systeme an der EPFL sowie mit den akademischen und industriellen Mitarbeitern der Labore
- Geförderte Reisen für Konferenzen und Forschungskooperationen Information
- Nur über die Online-Plattform eingereichte Bewerbungen werden berücksichtigt. Sie werden gebeten, Folgendes zu liefern:
- Ein kurzes Anschreiben (pdf, bis zu 2 Seiten). Und in einem PDF:
- Ein Lebenslauf mit einer Publikationsliste.
- Eine Forschungserklärung (pdf, bis zu 3 Seiten).
- Kontaktdaten für 3 Referenzen. Für jede Furch
Weitere Details
- Wir suchen herausragende Kandidaten, die in Programmiersprachen, formalen Methoden und / oder Netzwerken mit Interessen in einem oder mehreren der folgenden Bereiche arbeiten: NetKAT und seine Erweiterungen, symbolische Automaten, Routing-Algebren, Paketplanung und KI-basierte Cybersicherheit. Hauptaufgaben und Zuständigkeiten
- Der genaue Fokus wird mit dem erfolgreichen Kandidaten je nach Hintergrund, Fachwissen und Affinitäten besprochen. Mögliche Richtungen sind:
- Formale Abstraktionen für die Paketplanung: ausdrucksstarke Spezifikationen von Zeitplanrichtlinien und Zusammenstellung zu programmierbarer Hardware mit nachweisbaren Garantien
- Teilnahme an der Betreuung von Doktoranden und Masterstudierenden
- POPL, PLDI, ICFP, OOPSLA, CAV, SIGCOMM, NSDI) Unabhängig, kreativ und lösungsorientiert
- Ein anregendes und internationales Arbeitsumfeld Ausgezeichnete Arbeitsbedingungen
- Geförderte Reisen für Konferenzen und Forschungskooperationen
- Nur über die Online-Plattform eingereichte Bewerbungen werden berücksichtigt. Sie werden gebeten, Folgendes zu liefern:
- Ein kurzes Anschreiben (pdf, bis zu 2 Seiten).
- Kontaktdaten für 3 Referenzen.
Notizen und Originalinhalt
- Wir suchen herausragende Kandidaten, die in Programmiersprachen, formalen Methoden und / oder Netzwerken mit Interessen in einem oder mehreren der folgenden Bereiche arbeiten: NetKAT und seine Erweiterungen, symbolische Automaten, Routing-Algebren, Paketplanung und KI-basierte Cybersicherheit.
- Hauptaufgaben und Zuständigkeiten
- Der genaue Fokus wird mit dem erfolgreichen Kandidaten je nach Hintergrund, Fachwissen und Affinitäten besprochen.
- Mögliche Richtungen sind:
- Formale Abstraktionen für die Paketplanung: ausdrucksstarke Spezifikationen von Zeitplanrichtlinien und Zusammenstellung zu programmierbarer
- Hardware mit nachweisbaren Garantien
- POPL, PLDI, ICFP, OOPSLA, CAV, SIGCOMM, NSDI)
- Unabhängig, kreativ und lösungsorientiert
- Wir bieten
- Ein anregendes und internationales Arbeitsumfeld
Fragen zu dieser Stellenanzeige
Welches Gehalt bietet EPFL für diese Stelle?
EPFL gibt CHF 60'500 - 91'500 brutto pro Jahr für diese Position in Lausanne an. Dies ist das im Original-Inserat veröffentlichte Gehalt (oder, falls der Arbeitgeber keinen Betrag nennt, eine realistische Schätzung für Rolle und Branche) — der Rechner auf dieser Seite berechnet daraus Ihr tatsächliches Netto nach Grenzgänger-Steuer und Sozialabgaben.
Ist das eine Vollzeitstelle, und welchen Vertragstyp bietet EPFL?
Diese Stelle ist eine Vollzeit-Position. Der hier angezeigte Vertragstyp stammt direkt aus dem Original-Inserat des Arbeitgebers; klären Sie genaue Arbeitszeiten, Kündigungsfrist und Probezeit während des Bewerbungsprozesses mit EPFL, da diese Details auch innerhalb derselben Vertragskategorie variieren können.
Brauche ich eine Grenzgänger-Bewilligung für eine Stelle im Kanton Waadt?
EU/EFTA-Bürger mit Wohnsitz in der Grenzzone des an den Kanton Waadt angrenzenden Landes können eine G-Bewilligung beantragen; der Schweizer Arbeitgeber reicht sie nach Vertragsunterzeichnung beim Migrationsamt dieses Kantons ein. Grenzzonen-Regeln und Bearbeitungszeiten variieren je nach Nachbarland und Kanton — klären Sie die Details mit dem Migrationsamt des Kantons Waadt oder mit HR während der Bewerbung.
Wie bewerbe ich mich für diese Stelle bei EPFL?
Nutzen Sie die Schaltfläche "Jetzt bewerben" auf dieser Seite — sie führt direkt zum Original-Inserat von EPFL unter careers.epfl.ch, sodass Ihre Bewerbung direkt im Bewerbermanagementsystem des Arbeitgebers landet. Frontaliere Ticino sammelt oder leitet keine Bewerbungen selbst weiter.
