-
, charities, as well as other universities and research institutes across the UK and internationally. The overall programme of research will be jointly developed by Prof. Nophar Geifman and the person appointed
-
will be responsible for the day-to-day research tasks in accordance with the project plan. This will include laboratory experimentation, vehicle testing and data analysis, and will entail coordination
-
model checkers; proofs of safety and/or security properties; programming languages and/or type systems; concurrent and/or distributed algorithms; and related topics. The successful applicant will work in
Searches related to programming
Enter an email to receive alerts for programming positions