-
of multipoint in situ measurements and numerical simulations performed with the ion-kinetic Vlasiator code to quantify how interplanetary shocks modify solar wind current sheets across a range of
-
on the interactions between set theory and non-standard logics, preferably within one of the two branches of the project: Modal Logic of Forcing Inner Models from Extended Logics These are active fields within set
-
are we looking for We are looking for candidates with a background in set theory and/or logic, preferably including either modal logic, forcing, or inner model theory. The candidate shall have a Master's
Searches related to current modeling
Enter an email to receive alerts for current-modeling positions