Research Fellow: ML Automated Formal Verification

Position: Research Fellow: ML for Automated Formal Verification
A prestigious educational institution in Birmingham is seeking a Research Fellow in Formal Verification. This role focuses on developing advanced machine learning algorithms for automated software verification and involves collaboration with experts in the field. Candidates should have a higher degree and proven publishing ability in AI or related fields. The position is full-time with a salary range of £36,636 to £46,049, offering a unique opportunity to advance in academic research.
The following opening is for a Research Fellow: ML for Automated Formal Verification with University of Birmingham. Consider building your career as a Research Fellow: ML for Automated Formal Verification at University of Birmingham. The Research Fellow: ML for Automated Formal Verification position in the Other field is open for applications. We have an opening for a Research Fellow: ML for Automated Formal Verification in Birmingham, England, United Kingdom within Other.