Logic List Mailing Archive
CfA: 7 PhD Computer Science (Logic, Security, Forensics) & 3 in Law, FAU Erlangen-Nürnberg (Germany), deadline: 1 April 2025
Dear all,
please take note of the advertisement of PhD opportunities at FAU
Erlangen-Nürnberg at the bottom of this message; do feel free to
distribute to interested candidates. Some of the positions will be
attached to the theoretical computer science group, with possible topics
in logic, automata, and concurrency. We will be happy to answer inquiries.
Best,
Lutz and Stefan
--
--------------------------------------
Lutz Schröder and Stefan Milius
Friedrich-Alexander-Universität
Erlangen-Nürnberg
Department of Computer Science
Chair 8 -- Theoretical Computer Science
Martensstr. 3
91058 Erlangen
{lutz.schroeder,stefan.milius}@fau.de
http://www8.cs.fau.de
-------------------------------------
The Department of Computer Science and the School of Law at
Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) invite
applications for
7 PhD positions (m/f/d)
(salary level 13 TV-L) in Computer Science (full time)
and
3 PhD position (m/f/d)
(salary level 13 TV-L) in Law (part time, 75%)
within the Research Training Group 2475 "Cybercrime and Forensic
Computing" funded by the German Research Foundation (DFG) commencing on
October 1, 2025 for PhD positions.
The Research Training Group aims to systematically analyse research
questions arising from the interaction between computer science and
criminal law. The following research areas are particularly relevant to
the PhD positions:
o Computer security, digital forensic science
o Criminal law, criminal procedure, criminology
o Theoretical computer science (logic, semantics, automata)
o Cryptography, Provable Security, Secure Messaging
o Pattern recognition, image processing, image forensics
o Hardware Security
o Human Factors in Security
o Data protection in law enforcement, criminal law and criminal procedure
More information about the project can be found at https://cybercrime.fau.de
Applicants should have an excellent academic record, hold an MSc, LL.M.
or an equivalent university degree in computer science, law or related
disciplines, and have the goal to finish a PhD degree within three years.
Founded in 1743 and situated at the heart of the Nuremberg Metropolitan
Region, FAU is a strong research university with an international
perspective and one of the largest universities in Germany. FAUs
outstanding research and teaching is reflected in top positions in both
national and international rankings, as well as the high amount of DFG
funding which its researchers are able to secure.
FAU aims to increase the number of women in scientific positions. Female
candidates are therefore particularly encouraged to apply. In case of
equal qualifications, candidates with disabilities will take precedence.
Please submit your complete application documents by 01.04.2025 to
cybercrime-applications@fau.de. Please mention in your application at
least two research areas from the above list which you are specifically
interested in. Interviews will commence between 02. and 06.06.2025 in
Erlangen. Further inquiries can be directed to Felix Freiling
(felix.freiling@fau.de) regarding positions in computer science and Hans
Kudlich (hans.kudlich@fau.de) regarding positions in law.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php