Our team has an im m edi ate 4-month contract opening for an Intern Researcher
Responsibilities :
- Research and apply state-of-the-art tec hnologi es to guide the synthesis process of neural symbolic architectures with the integration of LLM / AI and Formal methods
- Research and develop comprehensive testing strategies for LLM-based AI systems, e.g., white box testing (examining internal components) and black box testing (evaluating system behavior from an external perspective;
assessing the coverage / activation patterns to understand the AI system, and improving performance
Research and develop formal modeling, analysis, and verification techniques to integrate symbolic information and reasoning within neural networks;
ensure accurate interpretation and generation of LLM-based AI system outputs
Work closely with researchers and engineers to apply advanced technologies into practical AI development lifecycle, and publish findings in relevant conferences and journals
LI-TL1
What you’ll bring to the team :
- Ph.D. student in Formal Methods, Software Engineering, LLM / AI, or a closely related field
- Proven experience in research and development in related fields
- Knowledge of formal reasoning and testing techniques
- Understanding of LLM / AI techniques and their limitations
- Strong programming skills
- Ability to collaborate effectively with interdisciplinary teams
- Adept at identifying and solving complex technical challenges
Intern Researcher - LLM Formal Methods
Formal Methods, Software Engineering, LLM/AI, or a closely related field. Research and develop formal modeling, analysis, and verification techniques to integrate symbolic information and reasoning within neural networks; ensure accurate interpretation and generation of LLM-based AI system outputs. ...
Intern Researcher LLM Formal Methods
Formal Methods, Software Engineering, LLM/AI, or a closely related field. Research and develop formal modeling, analysis, and verification techniques to integrate symbolic information and reasoning within neural networks; ensure accurate interpretation and generation of LLM-based AI system outputs. ...
Technical Architect (SharePoint, Power Platform & Azure)
Lead's Architects have a variety of roles with clients. You may work solely in development, helping architect and design a solution, or serve as a lead, managing the productivity of a technical or development team. SharePoint architecture experience creating SharePoint solutions including apps, mast...
Marketing Outreach Coordinator
Digital Marketing Outreach - 40%. Assist in managing digital (social and email) marketing campaigns, from content creation to scheduling campaigns. Provide support in organizing marketing events and initiatives. Product Marketing - 20% to 25%. ...
Executive Assistant Marketing Coordinator
Our client requires an Executive Assistant Marketing Coordinator to join their team. Familiarity with marketing tasks, including reviewing advertising content, coordinating marketing materials, and monitoring industry trends. This role will support the company President with EA/PA duties in addition...
.Net Architect
Proven experience as a technical lead or architect, with a track record of successfully architecting and implementing. NET Architect to join our dynamic team and lead our. If you are passionate about architecting scalable, reliable, and high-performance. NET Architect at startup, you will play a key...
JAVA Technical Business Analyst - REMOTE 80-90/hr
Technical Business Analyst, Agile SCRUM, User Stories, Epics, Use Cases, web-based applications, Java, PostgreSQL, SQL, CBAP. Develop and maintain detailed documentation of business processes, standards, and procedures. Identify, quantify, and document business process improvements. Work with busine...
Senior Java Software Engineer
We are seeking a Senior Software Engineer to build and scale business-critical web products. You should be skilled at building web-based software or mobile apps, and excel at building software with different sets of tools and in different client environments. This position reports to an Engineer Tea...
Technical Business Analyst
This Technical Business Analyst role will be reporting to the Manager of Product Development. This role will collaborate in implementing technology solutions for TNG systems, by gathering, testing and analyzing business requirements. This role will be part of a AGILE product development team managin...
Student Internship: Sales
We're a fresh face in the sports betting world, turning the industry on its head with our cutting-edge, algorithm-powered platform.We're all about making betting easy, giving our users insights into where to bet, what to bet on, and how much to wager.We've crafted an easy-to-navigate interface and u...