List of job vacancies


Fully funded PhD in Structural and Algorithmic Aspects of Preference-based Problems in Social Choice
by Mihaela Rozman, July 6, 2020

We invite applications for a PhD position(s) working on the project Structural and Algorithmic Aspects of Preference-based Problems in Social Choice. Application deadline: July 31, 2020.

Postdoc position in System Security / Program Analysis and Bundeswehr University Munich, Germany
by Johannes Kinder, July 3, 2020

The PATCH lab at Bundeswehr University Munich is looking to hire a Postdoctoral Researcher in the area of systems security / program analysis, starting date flexible, salary level TV-ÖD E13 (~55k EUR).

Fully-funded PhD Position in System Security / Program Analysis at Bundeswehr University Munich, Germany
by Johannes Kinder, July 3, 2020

The PATCH lab at Bundeswehr University Munich is looking to hire a PhD Student (Open Topic) in the area of systems security / program analysis, starting date flexible. The position is fully funded at federal salary level TV-ÖD E13 (~51k EUR).

Postdoctoral/research faculty position in Program Analysis, Verification, and Security at Virginia Tech
by Binoy Ravindran, July 1, 2020

Applications are invited for a postdoctoral or research faculty position at Virginia Tech on DARPA-funded projects at the intersection of program analysis, verification, and security.

4 Fully Funded Post-doc Positions in Software Engineering / Technology at Lund University
by Christoph Reichenbach, June 29, 2020

The department of Computer Science at Lund University has four openings for two-year post-doc positions. The department conducts applied research in close collaboration with industrial partners, maintaining high quality research standards. Faculty and students are internationally recruited, hence communication takes place in English. The funding comes partially from the national strategic research programs ELLIIT and WASP.

1 postdoc position in programming languages at the University of Southern Denmark
by Fabrizio Montesi, June 29, 2020

Affiliation: Concurrency and Logic group (https://concurrency.sdu.dk), Dept. of Mathematics and Computer Science, Prof. Fabrizio Montesi
Location: University of Southern Denmark, Odense, Denmark
Duration: 2+2 years (2 years with possibility of extension of 2 more years)
Start: expected October 2020 (flexibility allowed)
Salary: gross approx. 4400 EUR / month (approx. 3000-3300 EUR after taxes)

Research topics:
- Theory of programming languages
- Compiler technology
- Concurrency theory
- Distributed computing

For further information and the application form, see http://tinyurl.com/postdoc-choral

Deadline for application: **05 August 2020**

2 PhD positions in programming languages at the University of Southern Denmark
by Fabrizio Montesi, June 29, 2020

Affiliation: Concurrency and Logic group (https://concurrency.sdu.dk), Dept. of Mathematics and Computer Science, Prof. Fabrizio Montesi
Location: University of Southern Denmark, Odense, Denmark
Duration: 3 years (a PhD position in Denmark is a "full" working contract with good salary and working conditions)
Start: expected October 2020 (flexibility allowed)

Research topics:
- Theory of programming languages
- Compiler technology
- Concurrency theory
- Distributed computing

For further information and the application form, see http://tinyurl.com/phds-pl

Deadline for application: **05 August 2020**

PhD studentship in Quantum Verification
by Paolo Zuliani, June 29, 2020

The School of Computing at Newcastle University (UK) is offering a PhD studentship in quantum computing and verification.

Deadline: 01 August 2020. UK/EU applicants only.

https://www.ncl.ac.uk/postgraduate/funding/sources/ukeustudents/comp023.html

« previous123...910next »