-
of Birmingham is inviting applications for a Research Fellow position focused on Machine Learning for Automated Formal Verification. Machine learning has transformed programming, with code generation rapidly
-
practices in code development and maintenance (e.g. Github/Gitlab, GitHub Actions, etc). Experience with machine learning or network-based approaches is desirable. Familiarity with FAIR data principles and
-
to writing of journal articles and conference presentations Operate within area of specialism and collaborate with a wider interdisciplinary research team Participate in wider networks, including the Adult
Searches related to network coding
Enter an email to receive alerts for network-coding positions