Sort by
Refine Your Search
-
Country
-
Employer
- ; The University of Manchester
- ; University of Bristol
- Chalmers University of Technology
- DAAD
- Fraunhofer-Gesellschaft
- Linköping University
- Ludwig-Maximilians-Universität München •
- NTNU Norwegian University of Science and Technology
- RPTU University of Kaiserslautern-Landau •
- Technical University of Denmark
- Technical University of Munich
- University of Twente
- Uppsala universitet
- 3 more »
- « less
-
Field
-
Research theme: Formal Methods How many positions: 1 This 3.5 year PhD is funded by the Department of Computer Science at The University of Manchester. The successful candidate will receive
-
Mathematics, Technomathematics, Computer Science, Engineering Informatics, Theoretical Computer Science, Physics Description Description The research group Cyber-Physical Systems of Prof. Matthias Althoff
-
, lack of transparency, safety assurance, and sustainability. You will work at the forefront of AI research, exploring formal and dynamic verification methods, explainable AI, and data space integration
-
organisation The faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) uses mathematics, electronics and computer technology to contribute to the development of Information and
-
their system-level integration Develop design architecture and break down requirements into functional blocks Create and execute test benches for RTL and timing simulations Perform formal verification
-
should have very good skills in the English language and a strong background in at least one of the fields relevant for research at ConVeY: Control theory, formal methods in computer science, or machine