Nir Piterman

Professor for Computer Science @cse_gbg @goteborgsuni.

[European Research Council (ERC) @ERC_Research]

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👉https://t.co/387mdaiANz

[Nir Piterman @n_pite]

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

[Gregory Gay @Greg4cr]

One more push: I am hiring 1-2 PhD students to research the use of LLMs to augment human-written test suites.

Apply here: https://t.co/oNEXEIx7F4
Reach out if you have questions!

Applications due May 15!

#softwaretesting #softwareengineering #softwaredevelopment #LLM #AI #PHD

[Richard Torkar 🇺🇦 @rtorkar]

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: https://t.co/7NIBSe22Ec

[Nir Piterman @n_pite]

@WASP_Research So get in touch if you want more information or directly apply here https://t.co/tYxrf3m8x9.
Inspired by @AndreasZeller. Helped by @CClaudiacauli.
@vardi please repost?

[Nir Piterman @n_pite]

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: https://t.co/uF1AYfDqKk.

[Nir Piterman @n_pite]

@WASP_Research Gothenburg is one of the world's greatest places https://t.co/mTpeIUkWU9. 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!

[Chalmers ICT @ChalmersICT]

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
https://t.co/OIpV09MR5O

[Andrei Sabelfeld @asabelfeld]

Become a PhD student with us at Chalmers @chalmersuniv @ChalmersICT and join the Chalmers Security & Privacy Lab https://t.co/Q1wkgLDHSF Apply here: https://t.co/wNQw9UyPl3

[Nir Piterman @n_pite]

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...".

[CACM Editor @blogCACM]

Navigating the often-bumpy road of academic review. https://t.co/AkUZBxyAjY

[Alejandro Russo @poke48k]

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

https://t.co/haBCMnQcVo

https://t.co/iOdTPT1FcQ

[Andrei Sabelfeld @asabelfeld]

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

[Hazem Torfah @HazemTorfah]

PhD position in Formal Verification of Autonomous Cyber-Physical Systems at Chalmers University of Technology
https://t.co/LbG5STmHtk

This position is funded by the Wallenberg AI, Autonomous Systems and Software Program.

#WASP #Chalmers

[Hazem Torfah @HazemTorfah]

Join as at Chalmers!
Fully-funded PhD and Postdoc positions in Formal Verification of Autonomous Cyber-Physical Systems! @WASP_Research @chalmersuniv

PhD: https://t.co/LbG5STmHtk

Postdoc: https://t.co/hoU7on7leX