I will discuss Bertini theorems for F-singularities ( i.e. singularities defined by Frobenius); the proof is based on a slight generalization of Cumino-Greco-Manaresi's axiomatic approach to Bertini theorems. This is a joint work with Karl Schwede.