As you might know, it's possible to do some Kotlin on Tech.io. However, it takes 6s each time we want to run it, so it's pretty much unusable. We're in contact with people from JetBrains so we'll likely get some support soon.
However, if some if you are familiar with Kotlin environment, compilation & configurations stuff, etc, and you want to help, don't hesitate to ping me.
At some point, we want to be able to take advantage of the technology used on Tech.io and be able to add new languages on CodinGame easily. You can see this as a first step towards Kotlin on CodinGame.