List of job vacancies
- Postdoc position in distributed computing at IMDEA, Madrid, Spain
Applications are invited for a postdoctoral position at the IMDEA Software Institute in Madrid, Spain. The successful candidate will work under the supervision of Alexey Gotsman (https://software.imdea.org/~gotsman/), with research topics determined based on the common interests of the candidate and the supervisor. Possible areas include blockchains and distributed transaction processing. This covers algorithms, correctness proofs, and system engineering.
- PhD position in Static Software Analysis, Halmstad, Sweden
We have an opening for a PhD student at School of Information Technology, Halmstad University, Sweden!
- Scalable Model Checking of Embedded Real-Time Systems
The Real-Time Systems Group at the Max Planck Institute for Software Systems (MPI-SWS) seeks a motivated postdoctoral researcher to work on the subject of scalable model checking of embedded real-time systems. The research will be done in collaboration with the Modeling and Verification team at the Institut de Recherche en Informatique Fondamentale IRIF (CNRS and Université Paris Cité, France).
Details on the position and application process are available here https://people.mpi-sws.org/~bbb/misc/MC-ERTS-postdoc.pdf.
- Postdoc position, Logic and Semantics Group in Tallinn
The Logic and Semantics Group at the Tallinn University of Technology
is seeking an aspiring talented and hard-working young scientist to
fill a departmentally funded postdoc position.- PhD and PostDoc Positions in Formal Methods at KIT
We are hiring PhD Researchers and Postdoctoral Researchers
in applied formal methods for software and algorithm engineering- PhD position at Chalmers in Combined Software Co-Piloting and Verification
There is a PhD position open at Chalmers University of Technology, Gothenburg, Sweden, on the topic of 'Combined Software Co-Piloting and Verification'. The announcement is linked here:
https://www.chalmers.se/om-chalmers/arbeta-hos-oss/lediga-tjanster/?rmpage=job&rmjob=11947&rmlang=SE
A vision paper related to this PhD project has been published here:
https://doi.org/10.1007/978-3-031-19849-6_11
The PhD student will be jointly supervised by Wolfgang Ahrendt (ahr[email protected]) and Moa Johansson ([email protected]).- JLAMP: new initiative launched
The Journal of Logical and Algebraic Methods in Programming (JLAMP) is pleased to announce the start of the 'Thematic Special Issue' initiative. Scholars interested in becoming the guest editor of a thematic special issues can contact Emilio Tuosto ([email protected])
- PhD position on Program Analysis for Smart Contracts at the Vienna University of Technology
I am hiring a PhD student to work on Program Analysis for Smart Contracts at the Vienna University of Technology, Austria.
If you are interested, please send me your CV.
Expected start: September 2023
Best regards,
Maria Christakis
https://mariachris.github.io