OpenFieldPh.D. in Computer Science - Formal Verification & Computational Biology
University of Iowa · Iowa City, Iowa, United States
Academic Overview & Description
Research-intensive doctoral program exploring satisfiability modulo theories (SMT), automated theorem proving, bioinformatics genomics algorithms, and network security.
Funding & Financial Support
- Funding Award
- Departmental Fellowships $34,000/year plus full tuition remission for 5 years
- Tuition Rate
- Covered by fellowship
- Application Fee
- $100
Admission & Candidate Requirements
- Academic GPA
- BS or MS in Computer Science or Mathematics with GPA 3.4+
- English Language
- TOEFL 85+
- Standardized Exam
- GRE optional
- Application Materials
- Statement of research interests
- Letters of Recommendation
- Three letters of recommendation
Institutional Guidance
For official application submission procedures, portal logins, and faculty matching, consult University of Iowa's detailed profile or visit the department application portal.
Verified record · Updated 2026-10-16 · Editorial standards