Sort by
Refine Your Search
-
engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing
-
, observational and model-based methods. The third component will establish new partnerships focused on ecology and fire management in several African countries where ecology and fire management are critical topics
-
along with complementary structural biology methods. The successful fellow will work at the Institut Laue Langevin (ILL) to develop and apply cutting-edge neutron crystallography approaches
Enter an email to receive alerts for formal-method-"https:" positions