POSTMAN
Powering SMT Solvers by Machine Learning
Powering SMT Solvers by Machine Learning
Hires
We are interested in highly motivated PhD students and postdoctoral researchers that wish to pursue research in SMT, automated reasoning, and machine learning. Perspective PhD students and PostDocs interested in further details should feel free to contact me directly (mikolas.janota@gmail.com).