{"id":4346016,"url":"https://alion.io/job/epfl-postdoc-networked-systems-abstractions-lab-laser","title":"Postdoc: Networked Systems Abstractions Lab (LASeR)","company":{"id":16910,"name":"Epfl","domain":"epfl.ch","url":"https://alion.io/company/epfl","size_band":"1001-5000","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"SuccessFactors","truth_index":null},"role":"Science & Research","role_family":"Science & Research","seniority":null,"employment_type":null,"work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Lausanne, Switzerland"],"countries":["CH"],"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":"BGP","optional":false},{"name":"C++","optional":false},{"name":"OCaml","optional":false},{"name":"Python","optional":false},{"name":"Rust","optional":false}],"status":"live","first_seen_at":"2026-10-21T02:00:00Z","employer_posted_date":"2026-10-21","last_verified_at":"2026-11-15T21:50:01Z","board_verified":true,"closed_at":null,"days_open":25,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":25},"description":"Mission\nThe EPFL Networked Systems Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and reasoning about them remains surprisingly difficult. Our research addresses this challenge in the following domains:\nDesigning expressive languages for specifying network behavior\nDeveloping verification techniques for establishing correctness with respect to formal specifications\nEngineering efficient implementations that make high-level abstractions practical\nWe seek outstanding candidates working in programming languages, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity.\nMain duties and responsibilities\nConducting research on network abstractions, spanning language design, implementation, and verification. The precise focus will be discussed with the successful candidate depending on their background, expertise and affinities. Possible directions include:Design and semantics of network programming languages in the NetKAT family, including quantitative and probabilistic extensions, and scalable verification via symbolic automata and related decision procedures\nRouting algebras: composable, algebraic representations of distributed routing protocols, as a principled basis for the compilation and verification of protocols such as BGP\nFormal abstractions for packet scheduling: expressive specifications of scheduling policies, and compilation to programmable hardware with provable guarantees\nAI-based cybersecurity: applying learning and AI-assisted techniques to network security, e.g., automata learning from security logs, validation of protocol models, and verified defensive controllers\n\nBuild a strong network in the programming languages, verification, and networking communities, including collaboration with the lab’s academic and industrial partners\nContribute to the design, implementation, and open-source release of the lab’s tools and artefacts\nParticipate in the supervision of PhD and master students\nProfile\nPhD (or nearing completion of) in computer science or a closely related field\nBackground in programming languages, formal methods, or networking\nResearch experience in one or more of: language design and semantics, automata theory and decision procedures, interactive or automated theorem proving, network verification, routing protocols, packet scheduling, or applications of AI/ML to systems and security\nStrong computational and analytical skills, including solid software engineering ability (e.g., OCaml, Rust, C/C++, Python, or other functional languages)\nStrong publication record (relative to your career stage) in internationally leading venues (e.g., POPL, PLDI, ICFP, OOPSLA, CAV, SIGCOMM, NSDI)\nIndependent, creative, and solution-oriented\nExcellent written and oral communication skills in English\nStrong motivation to explore new research domains\nGood team spirit and enthusiasm for working in a collaborative, international lab\nWe offer\nA stimulating and international working environment\nExcellent working conditions \nOpportunity to perform state-of-the-art research in one of the most dynamic scientific institutions in Europe\nOpportunity to interact with internationally renowned experts in programming languages, verification, and systems at EPFL, and with the lab’s academic and industrial collaborators\nFunded travel for conferences and research collaborations\nInformations\nOnly applications submitted through the online platform are considered. You are asked to supply:\nA brief cover letter (pdf, up to 2 pages).\nAnd in one PDF:\nA CV with a publication list.\nA research statement (pdf, up to 3 pages).\nContact details for 3 referees.\nFor any further information, please contact: Nate Foster () - https://laser.epfl.ch/\nContract Start Date : 01.12.2026, or to be determined\nActivity Rate : 100.00\nContract Type: CDD\nDuration: 1 year, renewable\nReference: 2464","description_format":"text","description_chars":4127,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":{"level":"phd","optional":false},"security_clearance":false,"languages":[{"language":"English","level":"All levels","optional":false}]},"benefits":[],"hiring_locations":[],"hiring_excludes":[],"relocation_offered":false,"industries":["Higher Education"],"lifecycle":[{"event":"open","at":"2026-11-15T21:50:01Z"}],"visa":[],"liveness":{"score":59,"band":"ok","label":"Likely open","p_open":1,"p_active":0.783,"p_room":0.75,"age_days":25,"expected_fill_days":33,"reasons":["conf:1","win:late"],"computed_at":"2026-11-15T23:33:30Z"},"pay":null,"html_url":"https://alion.io/job/epfl-postdoc-networked-systems-abstractions-lab-laser","json_url":"https://alion.io/job/epfl-postdoc-networked-systems-abstractions-lab-laser.json","meta":{"generated_at":"2026-11-15T23:33:30Z","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":20472,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-16T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.1,"usd":0.01,"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":16910},"rest":"https://alion.io/mcp/rest/get_company?id=16910"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fepfl-postdoc-networked-systems-abstractions-lab-laser"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"free","price":{"credits":0,"usd":0},"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%2Fepfl-postdoc-networked-systems-abstractions-lab-laser"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.1,"usd":0.01},"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%2Fepfl-postdoc-networked-systems-abstractions-lab-laser"},{"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/epfl-postdoc-networked-systems-abstractions-lab-laser\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fepfl-postdoc-networked-systems-abstractions-lab-laser"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":4346016}},{"tool":"search_jobs","arguments":{"company":"epfl.ch","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":4346016},"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"}}