4 ms·
Does anyone know some employers that are hiring for this stuff in industry? I can’t imagine many startups apply this stuff due to prohibitive costs. Research in
by tartakovsky 5y ago
Does anyone know some employers that are hiring for this stuff in industry? I can’t imagine many startups apply this stuff due to prohibitive costs. Research in this area is obviously orders of magnitude more computationally taxing than simply training neural networks.
- fozzyfozfoz 5y agoI agree, it's going to cost a lot of money to figure out if that shit actually works.
- ansgri 5y agoAny proper selfdriving or other advanced robotics company should do. In my company (specialized autonomous vehicles) we’ll probably have such role soon.
- ptsankov1 5y ago@tartakovsky, check out https://latticeflow.ai https://latticeflow.ai
- orange3xchicken 5y agoMaybe Bosch? Prof. Zico Kolter from CMU is a chief scientist associated with them, and his group does a lot of really good work in the ml verification space (e.g. the first randomized smoothing and the Wong & Kolter certificates).