Force/Enable Pin screen lock

Question

Is there a way to enable/set a pin code for screen lock, independently of the settings?

In my case everything is greyed out (except "Password") because I use device encryption.