-
As the successful candidate, you will join the Security, Reasoning and Validation (SeRVal) group of the SnT, under the supervision of Dr. Maxime Cordy. You will contribute to research work in the area of Software Verification. Such research concerns the development of theories, techniques and...
-
ICFO is offering a postdoctoral position to a well-qualified, highly motivated and dynamic young scientist who wishes to enhance his/her scientific career in a friendly and stimulating environment
Enter an email to receive alerts for postdoctoral "University of Chicago" positions