-
with large datasets and apply data analysis methods;advanced knowledge of mathematical and computer modeling, sequential and parallel programming in Python or Julia, knowledge of Git version control
-
an innovative research program encompassing the fields of control engineering, biomedical engineering, signal processing, real-time systems and artificial intelligence; these fit the Personal_TIVA project
Searches related to model checking
Enter an email to receive alerts for model-checking positions