This paper proposes the framework for reliability-based design optimization (RBDO) of structural elements with an example based on the corrugated web I-girder. It tackles the problem of topological optimization of corroding structures with uncertainties. Engineering restrictions follow a concept of the limit states (LS) and extend it for stability and eigenfrequency assessment. The reliability constraints include all the LS; they are computed according to first- and second-order reliability methods. The RBDO example minimizes the bridge girder cross-section while satisfying the structural reliability level for the ultimate and the serviceability limit states, stability, and eigenfrequency. It takes into consideration two uncorrelated random effects, i.e., manufacturing imperfection and corrosion. They are both Gaussian; the first of them is applied at assembly time, while the second is applied according to the time series. The example confronts three independent FEM models with an increasing level of detailing, and compares RBDO results for three concurrent probabilistic methods, i.e., the iterative stochastic perturbation technique (ISPT), the semi-analytical method, and the Monte Carlo simulation. This study proves that the RBDO analysis is feasible even for computationally demanding structures, can support automation of structural design, and that the level of detailing in the FEM models influences its results. Finally, it exemplifies that reliability restrictions for LS are much more rigorous than for their deterministic counterparts, and that the fastest ISPT method is sufficiently accurate for probabilistic calculations in this RBDO.