List of job vacancies


PhD position: Control Theory for Brain Modeling and Analysis
by Paolo Zuliani, March 5, 2021

PhD studentship 'Control Theory for Brain Modeling and Analysis' at Newcastle University (UK) open to UK & international (incl. EU) students. Deadline: March 19th.

PhD position: AI+Logic = Safe Autonomous Driving
by Paolo Zuliani, March 4, 2021

PhD studentship 'AI+Logic = Safe Autonomous Driving' at Newcastle University (UK) open to UK & international (incl. EU) students. Deadline: March 19th.

Lecturer (Assistant Professor) Position in Programming Languages at the University of Kent
by smarr, March 2, 2021

We are seeking to appoint yet another new lecturer in Computing in our Programming Languages and Systems research group based at our Canterbury campus, University of Kent.

Job description / Additional Information / Please apply at
https://jobs.kent.ac.uk/vacancy.aspx?ref=CEMS-034-21

Closing date for applications: 14 March 2021

(Lecturer = Teaching+Research contract, equivalent of Assistant Professor)

Research faculty and postdoctoral positions in Program Analysis and Verification at Virginia Tech
by Binoy Ravindran, March 1, 2021

Research faculty and postdoctoral positions are available with the Systems Software Research Group at Virginia Tech on a DARPA-funded project on program analysis and verification.

Postdoc Position in Programming Language Implementation Research
by smarr, Feb. 26, 2021

We are looking for a Postdoc to join our team as a full-time Research Associate for a 2-year project. The project is titled “CaMELot: Catching and Mitigating Event-Loop Concurrency Issues” and funded by an EPSRC UK research grant.

Closing Date: 17 March 2021 (end of day, UK time)
https://jobs.kent.ac.uk/vacancy.aspx?ref=CEMS-005-20-R

Post-doc position (2 years) on monitoring and verification of smart systems (deadline 18/3/21)
by Emilio Tuosto, Feb. 26, 2021

Post-doc position (2 years) on monitoring and verification of smart systems (deadline 18/3/21)

Postdoc/PhD positions at TU Kaiserslautern and MPI-SWS in Computational Logic
by Anthony Widjaja Lin, Feb. 26, 2021

Joint positions at TU Kaiserslautern and Max-Planck Institute for Software Systems, based in Kaiserslautern. Topics of interests include logic and automata, as well as applications e.g. to software verification. Early application deadline: 21 March 2021.

Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark
by Jacopo Mauro, Feb. 25, 2021

The Department of Mathematics and Computer Science (IMADA) at the University of Southern Denmark (SDU), Odense, invites applications for assistant and associate professor positions in Computer Science. We are flexible with respect to the starting date, but expect this to be in 2021 or early 2022.

Application deadline: 7 April 2021.

We are interested in applicants from all fields in Computer Science who can either strengthen or complement the current Computer Science research conducted at IMADA.

Fluency in English is required. Knowledge of Danish is not a prerequisite for application.

Link for application, including the call with full details:
https://www.sdu.dk/da/service/ledige_stillinger/1140998?sc_lang=en

« previous123...910next »