[Haskell] Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08)
Open Position: Lecturer in Computer Science (Exeter, Deadline 2020-04-08) As part of the expansion of the Department of Computer Science at the University of Exeter [1], we are recruiting for a Lecturer in Cybersecurity. The lecturer will be part of the newly formed Security and Trust of Advanced Systems Group [2]. We are looking for a candidate with an outstanding research record in any area related to cyber security (information security) such as (but not limited to): - access control - usable security - software/application security - formal methods for security - language-based security/privacy - secure programming - information flow - security protocols - network security - security of distributes systems - human aspects of security - hardware security - security economics - security-by-design - applied cryptography - privacy-enhancing technologies - threat hunting, security analytics - threat modelling - forensics, reverse engineering - trustworthy AI/ML - security/penetration testing You will have a PhD or equivalent in Cybersecurity, Computer Science, Mathematics, Engineering or a related area. Please refer to the job description for full details. We understand **security and safety entangled concepts**: in most modern systems one cannot be achieved without the other. Hence, we encourage also candidates working in related domains such as **safety, dependability, resilience, or reliability** to apply. Please apply by 8th of April 2020! See the full announcement and application details at https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=803965SHQd=3817591jNg=USA We are happy to do online/remote interviews. Feel free to contact me for informal inquiries about the post. Best, Achim [1] https://www.exeter.ac.uk/computer-science/ [2] https://emps.exeter.ac.uk/computer-science/research/cyber-security/ -- Prof. Achim Brucker | https://www.brucker.ch | https://logicalhacking.com/blog *We are hiring:* * Lecturer (Assistant Professor) - Deadline 2020-04-08: https://www.jobs.ac.uk/job/BZH668/lecturer-in-computer-science-education-and-research * Two PhD Studentships (EU/UK Tuition Fees) - Deadline 2020-05-01: http://www.exeter.ac.uk/studying/funding/award/?id=3887 ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
[Haskell] 2 PhD Positions in the Safety and Security of Advanced Systems Group (University of Exeter, UK Deadline 2020-05-01)
Two fully funded PhD scholarships for EU/UK applicants are available in the Security and Trust of Advanced Systems Group [1] (Prof. Achim Brucker [2] and Dr. Diego Marmsoler [3]) at the Department of Computer Science of the University of Exeter, UK [4]. We are looking for enthusiastic and outstanding Computer Science or Mathematics students with a strong background in some of the following topics: - safety or security of (software) systems, - formal modelling or formal reasoning/verification, - program analysis or program verification, - language-based security - semantics of programming languages, - theorem proving, model checking, - cryptographic protocols, - distributed systems (e.g., blockchain), - specification-based testing, and - design and implementation of security architectures. This award provides annual funding to cover UK/EU tuition fees and a tax-free stipend. For students who pay UK/EU tuition fees the award will cover the tuition fees in full, plus at least £15,009 per year tax-free stipend. The studentship will be awarded on the basis of merit for 3.5 years of full-time study. For more details, please consult the official advertisement: http://www.exeter.ac.uk/studying/funding/award/?id=3887 The closing date for applications is midnight on 1 May 2020. Project-specific queries should be directed to the supervisors, Prof Achim Brucker (a.bruc...@exeter.ac.uk) or Dr Diego Marmsoler (d.marmso...@exeter.ac.uk). Best, Achim and Diego [1] http://emps.exeter.ac.uk/computer-science/research/cyber-security/ [2] https://www.brucker.uk/ [3] https://marmsoler.com/ [4] http://emps.exeter.ac.uk/computer-science/ -- Prof. Achim Brucker | https://www.brucker.ch | https://logicalhacking.com/blog *We are hiring:* * Lecturer (Assistant Professor) - Deadline 2020-04-08: https://www.jobs.ac.uk/job/BZH668/lecturer-in-computer-science-education-and-research * Two PhD Studentships (EU/UK Tuition Fees) - Deadline 2020-05-01: http://www.exeter.ac.uk/studying/funding/award/?id=3887 ___ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
