List of job vacancies
- 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- Full Professor of Programming Languages and Compilers at TU Wien, Austria
Deadline: May 2, 2024.
Institution: TU Wien, Vienna, Austria.
Starting date: October 1, 2025.
Application at: <https://jobs.tuwien.ac.at/Job/227767>.
Call for applications: <https://informatics.tuwien.ac.at/news/2586>.- 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.
- PhD position in Program Analysis for Software Supply-Chain Security at Lund University, Sweden
We are offering a fully funded 5-year PhD position in program analysis as part of a cross-institutional collaborative research project on identifying supply-chain vulnerabilities. We expect that the work will focus on parameterising and integrating various approaches to program analysis, expanding ongoing work on declarative approaches to program analysis.
The position is full-time, 80% research and studies, 20% departmental duties.
- 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.
- PhD position in program verification at Uppsala University
Open PhD position at Uppsala University (Sweden) on verifying real-world numerical programs
- Assistant Professor (tenure-track) positions in Computer Science with focus on Programming Languages and Concurrency, University of Southern Denmark (deadline 30 April 2024)
The Department of Mathematics and Computer Science at the University of Southern Denmark (main campus, Odense) invites applications for tenure-track Assistant Professor positions in Computer Science, with focus on the areas of Programming Languages and Concurrency.