-
West Nilotic’, led by Matthew Baerman. The successful candidate will perform a key role in managing, processing and analyzing language data generated across the multiple teams that make up the project
-
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
-
data management and archiving, project administration and manuscript preparation. A proven track record in these areas is essential. About you Candidates should hold a PhD in a related discipline and
-
. About you The successful candidate will have a strong background in experimental testing, programming (MATLAB/SIMULINK) and control, and should have a PhD in a relevant discipline such as mechanical