- Microsoft Corporation (Redmond, WA)
- …of art LLMs and/or model alignment. + Experience with reinforcement learning libraries or formal methods and verification is a plus. + Demonstrated ability and ... passion for incubating new ideas, solving problems, and building working systems. Research Sciences IC5 - The typical base pay range for this role across the US is USD $139,900 - $274,800 per year. There is a different range applicable to specific work… more
- Microsoft Corporation (Redmond, WA)
- …and many more. NRG members collaborate with adjacent research groups in systems, formal methods , optimization and security. You can see our recent publications ... at: Networking Research Group: Publications - Microsoft Research. (https://www.microsoft.com/en-us/research/group/networking-research/publications/) We seek Research Interns with research and development skills, with backgrounds in technologies underlying… more
- GE Vernova (Houston, TX)
- …+ Demonstrated expertise in energy storage controls, validation and verification, formal methods , systems integration, advanced controls or related technologies. ... + Technical project leadership experience + A proactive approach to learning and staying updated with industry trends, technologies, and best practices in plant control systems. + Can present technical plans in voice of customer. **Additional Information** GE… more
- System One (Helena, MT)
- …their scientific approach to blockchain development, emphasizing peer-reviewed research and formal methods to ensure security, scalability, and sustainability. ... Projects include decentralized finance (DeFi), governance, and identity management, aiming to advance the capabilities and adoption of blockchain technology globally. They invest in the unknown, applying our curiosity and desire for positive change to… more
- New York University (New York, NY)
- …biology and health, data management and mining, distributed computing and networking, formal methods and programming languages, graphics, vision and multimedia, ... machine learning and data science, natural language processing, scientific computing, as well as security and privacy. Collaborative research with industry is facilitated by geographic proximity to computer science activities at Facebook, Google, DeepMind,… more
- Google (Mountain View, CA)
- …of models. + Experience with GenAI language models, programming languages, compilers, formal methods , and/or private storage solutions. + Demonstrated success in ... creative problem solving for scalable teams and systems + A real passion for AI! more
- Google (Mountain View, CA)
- …of models. + Experience with GenAI language models, programming languages, compilers, formal methods , and/or private storage solutions. + Demonstrated success in ... creative problem solving for scalable teams and systems + A real passion for AI! more
- MIT Lincoln Laboratory (Huntsville, AL)
- …intelligence, machine learning, data structures, algorithms, signal processing, signal analysis, formal methods , neural nets, and sensor fusion. Summer Research ... Program Overview The Summer Research Program offers students the chance to apply their academic knowledge to real-world national security challenges while working alongside leading scientists and engineers. As an SRP intern, you'll engage in hands-on research,… more
- MIT Lincoln Laboratory (Lexington, MA)
- …systems, real-time software, data structures, algorithms, signal processing, signal analysis, formal methods , neural nets, and sensor fusion. Summer Research ... Program Overview The Summer Research Program offers students the chance to apply their academic knowledge to real-world national security challenges while working alongside leading scientists and engineers. As an SRP intern, you'll engage in hands-on research,… more
- Turner & Townsend (Cedar Rapids, IA)
- …all necessary tasks to achieve this goal._ **Qualifications** **Required Skills:** + Formal Project Management methods . + Cross functional team participation in ... PMP), Engineering or a related field. + Required Skills: + Formal Project Management methods . + Cross functional team participation in a high-tech, dynamic… more