List of job vacancies
- Fellowships, Lectureships, Chair posts at Southampton
The University of Southampton is recruiting for a number of posts in Computer Science: from Fellowships, suitable to early career researchers up to Professor Level. Logic and Programming languages are among priority areas.
- Full Professor in Distributed Systems at Lund University, Sweden
Location: Department of Computer Science, Lund University, Sweden
Application deadline: May 30, 2024
Information and application: https://lu.varbi.com/en/what:job/jobID:713959- Tenure-track assistant professorship in Systems-Level Security
Tenure-track assistant professorship at the University of Copenhagen. Candidates with experience in both systems-level security and programming-language theory/technology, are particularly welcome. Application deadline: 26 May 2024.
- Associate/Assistant professor position in Formal Methods at DTU Compute - Technical University of Denmark
We are opening a faculty position in the area of formal methods.
Highlights
==========
* Institution: Technical University of Denmark, DTU Compute
* Location: Copenhagen Greater Area, Denmark
* Position level: Associate Professor / Tenure Track Assistant Professor
* Area: Formal Methods
* Deadline: May 15, 2024
* Starting date (tentative/negotiable): January 1, 2025Informal enquiries are welcome and may be sent to Alberto Lluch Lafuente ([email protected]).
More information:
https://efzu.fa.em2.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_1/job/3409/?utm_medium=jobshare
- Postdoc and PhD positions in Programming Languages
Postdoc and PhD student positions in programming languages at the University of Southern Denmark, funded by the European Research Council project CHORDS.
- Fully funded PhD position - Programming Group, Univ. of St.Gallen, Switzerland
The Programming Group at the School of Computer Science, University of St.Gallen (HSG), Switzerland, invites applications for an opening as PhD student.
- chair of cybersecurity at the hardware/software interface
A tenure-track “CPJ” position, leading to permanent appointment as directeur de recherche (senior researcher) at CNRS, is to open in 2024 on the topic of cybersecurity at the hardware/software interface.
- 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 ([email protected]) and Moa Johansson ([email protected]).