The Department of Computer Science (www.inf.ethz.ch) at ETH Zurich invites applications for an assistant professorship (tenure track) in computer science with focus on Theoretical Computer [...]

The Research Associate will participate in cutting edge research on type-based enforcement and compilation techniques for enforcement of security properties of higher-order programs. The position [...]

Closing Date: 07 January 2024 There is an exciting opportunity for a highly motivated and independent individual to join an EPSRC research project (TRUSTED: SecuriTy [...]

Applications are invited for a Research Associate (postdoctoral) position at Imperial College London, UK, under the supervision of Dr Azalea Raad. This is a two-year position, with the [...]

Research Associate in Software Security and Formal Methods at Newcastle University There is an exciting opportunity for a highly motivated and independent individual to join [...]

The Bristol Programming Languages Research Group [0] is seeking a new Lecturer in Programming Languages and Compilers. As a Lecturer, you will contribute your research [...]

Two Postdoctoral Research Fellows at the University of Surrey, UKPost Type: Full time (3 year fixed term)Salary: £35,308 to £38,474 per annumClosing Date: 1st Sept, [...]