Dahl ble professor i numerisk analyse ved Universitetet i Oslo (1968). Han underviste blant annet i kurs om verifiserbar programmering for å forbedre kvaliteten på dataprogrammer og unngå mange programmeringsfeil. Han var også involvert i forskning og veiledning for å automatisere bevisføring av programmer.