VerifAI is seeking a Superstar ML Implementor and Researcher, with a focus on Language Models, Reinforcement learning (RL) and Black-box Optimization.
As a member of the team, you will work on the most unique applications of Language Models, Optimization and RL applied to Software and Hardware Verification.
You will have an opportunity to work directly with Customers and Researchers.
You will also have an opportunity to Participate and Publish your work in top conferences.
-- If you love to Code and thrive on solving challenging problems, get in touch!
-- If you have built an LLM from scratch , you are in the top 0.1% !
-- If you have built an optimizer (using gradient descent or other techniques) you are in the top 0.1%!
-- If you have built an RL agent that can address large action spaces, you are in the top 0.1%!
-- If you know systems, have you installed linux on your laptop/desktop from scratch, you are in the top 0.1%
-- If you have installed a GPU card on your desktop, you are in the top 0.1%
-- If you have trained an LLM across a cluster of GPU's you are in the top 0.09%
-- If you have fine-tuned an LLM with all available techniques such as LORA you are in the top 1% !
Please describe a brief note about your biggest programming accomplishment so far !
Requirement:
MS Degree in CS , Math
Experience in Language Models, Optimization, Reinforcement Learning, Deep Learning
Python, PyTorch , Tensorflow, ,
