-
, e.g. math/physics or math/biology; You have a good command of spoken and written English, especially writing formal mathematical proofs; You are productive working both independently and with a team
-
fluctuations.The methods will crucially support the development of stochastic bifurcation theory. During the PhD, you will initially work on a pre-specified subproject of your choosing, which allows you to develop
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions