2 model-driven-engineering Fellowship positions at University of Surrey

Research Fellow in Verification or Security or Concurrent/Distributed Systems

University of Surrey | United Kingdom | 3 months ago

the areas including: emerging hardware architectures (weak memory, RDMA, persistent memory, CXL); formal modelling, verification and/or logic; interactive and automated tools, such as theorem provers and

Research Fellow in AI-based automotive algorithms and estimators

University of Surrey | United Kingdom | 2 months ago

, automotive, electrical/electronic engineering or computer science. Also, experience in the following areas is highly desirable: Control development and implementation, including neural networks Instrumentation