-
Conference on Programming Language Design and Implementation (PLDI) are also a plus. The following desirable criteria will also be considered: A research focus on the use of AI foundation models in software
-
also be considered: A research focus on the use of AI foundation models in data science; A proven track record of attracting competitive research funding; International visibility including serving
-
; willingness to work with both lab experiments and field data Excellent written and spoken English Ability to work independently and in an interdisciplinary team Experience with thermal modelling, corrosion
Searches related to model checking
Enter an email to receive alerts for model-checking positions