Terminó el instituto en 1935 y se casó, adoptando el apellido Szmielew.
El mismo año, entró en la Universidad de Varsovia, donde estudió lógica con Adolf Lindenbaum, Jan Łukasiewicz, Kazimierz Kuratowski y Alfred Tarski.
[1] Szmielew se convirtió en agrimensora durante la Segunda Guerra Mundial, tiempo durante el cual continuó su investigación por su cuenta, desarrollando un problema de decisión basado en la eliminación de cuantificadores para la teoría de grupos abelianos.
[2] En 1949 y 1950, Szmielew fue profesora visitante en la Universidad de California en Berkeley, en la que Tarski había encontrado una plaza permanente tras exiliarse de Polonia durante la guerra.
[6] Tras regresar a Varsovia como profesora ayudante, sus intereses se inclinaron más hacia los fundamentos de geometría.