Nir Piterman

Are you based in the U.S. 🇺🇸 or Canada 🇨🇦 & thinking of doing research in Europe? ERC grants offer up to €4.5 million to support groundbreaking, investigator-driven frontier research in all fields. Watch the info session for researchers in your region👉youtu.be/92QYink1Lik

While considering Gregory's position, think also about the co-advertised Formal Methods project (incidentally with me as supervisor ...).

Want to work with amazing professors? Five WASP PhD positions at the dept of Computer Science and Engineering to work on machine learning, autonomous systems, software engineering, formal methods: chalmers.se/om-chalmers/ar…

@WASP_Research So get in touch if you want more information or directly apply here chalmers.se/en/about-chalm…. Inspired by @AndreasZeller. Helped by @CClaudiacauli. @vardi please repost?

@WASP_Research Gothenburg is one of the world's greatest places time.com/collection/wor…. Summer days are long and you can do countless things rnd Goteborg: hiking in forests, biking along the coast, day-trips to the archipelago, visit the lakes, or just sightseeing. Winters are colder but cozy!

A #CSPhD #PhDposition supported by @WASP_Research to work on project " Symbolic Reactive Synthesis on Planning Domains" at @cse_gbg in @chalmersuniv/@goteborgsuni. This is full employment w salary and Swedish benefits. No tuition fees. Apply here: chalmers.se/en/about-chalm….

Meet cybersecurity researcher @asabelfeld, who never has a boring moment at work! He operates in a constantly evolving field where the challenge is to stay ahead of the attackers with defense. #cybersecurity #research #chalmersuniversityoftechnology linkedin.com/pulse/always-n…

Become a PhD student with us at Chalmers @chalmersuniv @ChalmersICT and join the Chalmers Security & Privacy Lab cse.chalmers.se/research/group… Apply here: chalmers.se/en/about-chalm…

He clearly had access to some reviews I recently got:"...requests for endless comparisons w tangentially related work (X, Y), additional benchmarks that r only marginally relevant, the inclusion...barely established baselines, and...sensitivity studies...".

Are you passionate about using programming languages for data privacy and/or programming languages? If so, I am looking for two Ph.D. students to join @ChalmersICT chalmers.se/om-chalmers/ar… chalmers.se/om-chalmers/ar…

Joins us as PhD student at Chalmers for @poke48k’s exciting project in data privacy!

PhD position in Formal Verification of Autonomous Cyber-Physical Systems at Chalmers University of Technology chalmers.se/en/about-chalm… This position is funded by the Wallenberg AI, Autonomous Systems and Software Program. #WASP #Chalmers

Join as at Chalmers! Fully-funded PhD and Postdoc positions in Formal Verification of Autonomous Cyber-Physical Systems! @WASP_Research @chalmersuniv PhD: chalmers.se/en/about-chalm… Postdoc: chalmers.se/en/about-chalm…