List of job vacancies
- 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.
- PostDoc (Exeter, UK) in Formal Methods for Business-Process-Driven Sytems / Enterprise Systems
We are looking for a postdoctoral research interested in applying formal methods to complex enterprise systems, analyzing business processes (workflows) for misconfigurations and security vulnerabilities.
- 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.
- Full professor position in Grenoble
A senior professorship is to open in Grenoble with research in the Verimag laboratory and teaching at Grenoble-INP Polytech.
Keywords: Computer programming, networks, systems, machine and system architecture;
formal method, verification- 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.
