2 programming-"Multiple"-"Humboldt-Stiftung-Foundation"-"U"-"Prof"-"U.S" Fellowship positions at University of Surrey in United Kingdom
-
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
Enter an email to receive alerts for programming-"Multiple"-"Humboldt-Stiftung-Foundation"-"U"-"Prof"-"U.S" positions