Postdoc in Networked Systems Abstractions and Network Verification, EPFL
Job Description
EPFL’s LASeR lab is hiring a postdoc working on programming languages and formal reasoning tools for networked systems. The call is open until filled.
At a glance
- Post: Postdoc in Networked Systems Abstractions and Network Verification
- Where: Networked Systems Abstractions Lab (LASeR), EPFL, Lausanne, Switzerland
- Pay: on the EPFL scale for this grade; the advert gives no figure
- Closing date: none given. EPFL reviews applications as they arrive, so the post is open until filled. We re-check these listings about every 30 days
Read the official EPFL advertisement before you apply.
The project
Networks are the invisible infrastructure connecting the modern world, and programming and reasoning about them remains surprisingly difficult. LASeR develops programming languages and formal reasoning tools to make that easier.
The advertisement names the laboratory’s domains: designing expressive languages for specifying network behaviour, and developing verification techniques for networks. A network is a distributed system whose configuration is written in several languages at once, changes constantly, and fails in ways that are hard to reproduce. Giving it a language with real semantics, and tools that can prove something about it, is the work.
What you need
- A PhD in computer science, in programming languages, formal methods or networking
- Interest in language design and verification applied to real network systems
- Read the official advertisement for the full list of research domains
Pay and conditions
EPFL pays doctoral assistants and postdoctoral researchers on published Swiss federal scales, which are among the higher ones in Europe. This advertisement states no figure, so check the scale for your grade and the cost of living in Lausanne before you decide.
How to apply
Apply through the EPFL careers page for this post. The advertisement gives no closing date. EPFL reviews applications as they come in, so apply early.
Browse more research jobs on ResearchJobs.in, or search our Find a supervisor page.
Hiring institution: École Polytechnique Fédérale de Lausanne (EPFL)
Official advertisement: careers.epfl.ch
How to prepare for this application
- Two communities meet here. Programming languages and networking. Say which conferences you publish at.
- Real networks are the target. Theory that never touches a switch is less interesting to this lab.
- EPFL works in English. Research and teaching at this level run in English, so French is useful but rarely required.
- Doctoral candidates apply twice. A lab offer at EPFL is normally followed by admission to a doctoral programme, so check the programme's own requirements too.
About EPFL
The École Polytechnique Fédérale de Lausanne is one of Switzerland's two federal institutes of technology. It has more than 6,500 staff and over 18,500 people on campus, including more than 14,000 students and 4,000 researchers from over 120 countries, with sites at Lausanne, Neuchâtel, Fribourg, Sion, Geneva and Villigen.
