Вот подход с as.POSIXct
из базы R:
format(as.POSIXct(ticktime/1000,
origin = "1601-01-01", tz = "UTC"),
format = "%d/%m/%Y %H:%M:%OS3")
#[1] "12/03/2020 12:08:08.552"
Edit : Возможно, это ваш часовой пояс:
format(as.POSIXct(ticktime/1000,
origin = "1601-01-01", tz = "CET"),
format = "%d/%m/%Y %H:%M:%OS3")
#[1] "12/03/2020 13:08:08.552"