AI Scientist - Formal methods for science

Position overview:

As an AI Research Scientist with focus on formal methods for science, you will join a focused team, playing a key role in building new formal verification tools for science and engineering. Your responsibilities will include developing AI tools that will enable the systematic adoption of formal methods in quantitative scientific fields such as physics and engineering. You will also manage data curation, conduct benchmarking to evaluate performance, analyze reasoning flaws and propose solutions. Close collaboration with our dedicated cross-functional team - consisting of Mathematicians, AI Engineers, Software Engineers, Lean4 developers, Physicists and AI scientists - will be essential to the success of the project.

Your mission:

• Project contribution and technical execution: Play an active role in designing and developing autoformalization and validation strategies specifically tailored for scientific applications.

• Solution design & implementation: Engage in hands-on development to drive shorter-term impactful solutions in collaboration with our Business Development team. Propose, discuss, and implement technical solutions that address complex challenges, ensuring they are are well-structured, efficient, and aligned with industry best practices.

• Innovation & continuous learning: Stay updated with state-of-the-art techniques and advancements in the field. Continuously integrate the latest research and technologies to enhance the products’ impact.

• Cross-team collaboration: Work closely with AI and development teams to ensure seamless integration of solutions. Promote open communication and cooperation to enhance productivity and technical excellence.

• Knowledge sharing and developing the team: Foster a collaborative culture by actively sharing knowledge, insights, and best practices. Encourage teamwork and continuous learning to strengthen overall expertise within the company.

Key requirements:

• PhD in Computer Science, Artificial Intelligence, Physics, Machine Learning for scientific applications or related fields.
• Experience in applications of machine learning to relevant projects
• Proficient in Python, with the ability to write clean and efficient code
• Experienced with agentic AI and major deep learning framework
• Solid understanding of statistics and probability

About you:

• You excel as a team player, thriving in multidisciplinary and multicultural environments.
• You are highly motivated, hard-working, and committed to personal and professional growth through constant learning, new challenges and advancements.
• You quickly grasp new concepts and technologies, adapting efficiently to evolving requirements.
• You have a real passion for science and maths, and have a deep curiosity for understanding concepts from first principles.
• You like to try new technologies and quickly build exploratory prototypes.
• You thrive in a dynamic, fast-paced environment, embracing change with a proactive and solution-oriented approach.

Nice to have:

• Background in Physics, Engineering or other related computational science.
• Publications relevant to the company domain at top-tier conferences.
• Internship or work experience in one top AI company.
• Strong experience in at least one of the following: reinforcement learning, representation learning, program synthesis, NLP, graph machine learning, knowledge graphs, applied machine learning and data mining, optimization, machine learning for theorem proving, agentic LLMs and RAG, machine learning for science
• Proven contribution to open source projects.

JR2003228

NVIDIA pioneered accelerated computing to tackle challenges no one else can solve. Our work in AI and digital twins is transforming the world's largest industries and profoundly impacting society — from gaming to robotics, self-driving cars to life-saving healthcare, climate change to virtual worlds where we can all connect and create.

Our internships offer an excellent opportunity to expand your career and get hands on experience with one of our industry leading Generative AI teams. We’re seeking strategic, ambitious, hard-working, and creative individuals who are passionate about helping us tackle challenges no one else can solve.

What you will be doing: Design and implement algorithms that push the boundaries of generative AI, computer vision, robotics, and other technology domains relevant to NVIDIA’s business.

Collaborate with other team members, teams, and/or external researchers.

Transfer your research to product groups to enable new products or types of products. Deliverable results include prototypes, patents, products, and/or publishing original research.

What we need to see: Must be actively enrolled in a university pursuing a PhD degree in Computer Science, Electrical Engineering, or a related field, for the entire duration of the internship.

Depending on the internship, prior experience or knowledge requirements could include the following programming skills and technologies: Python, C++, CUDA, Deep Learning Frameworks (PyTorch, JAX, Tensorflow, etc.)

Strong background in research with publications at top conferences.

Excellent communication and collaboration skills.

Experience with large-scale model training is a plus.

Potential internships require research experience in at least one of the following areas: Multimodal Foundation Models

Diffusion Models

World Models

Image, Video, or Audio Generation

Large Language Models

Vision-Language Models

Action-Based Transformers

Long Context Methods

Physics-Based Simulation

Flow Based Generative Models

Synthetic Data Generation

AI for Science

Protein/Molecule Generation

Climate Modeling and Weather Forecasting

Partial Differential Equations (PDEs)

Our internship hourly rates are a standard pay based on the position, your location, year in school, degree, and experience. The hourly rate for our interns is 30 USD - 94 USD.

You will also be eligible for Intern benefits. ​

Applications are accepted on an ongoing basis.

NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.

New York

Software Developer: Generative AI Product Development

The D. E. Shaw group seeks exceptional software developers with expertise in generative AI (GAI) to join a small, fast-moving team building greenfield GAI products that directly transform how our teams operate. In this hands-on, entrepreneurial role you’ll partner with users across the firm to design, build, and deploy bespoke GAI solutions that drive efficiency, enhance analytical capabilities, and accelerate decision-making. This position offers the chance to lead projects from concept to production, and shape internal GAI strategy in a collaborative environment.

What you'll do day-to-day

You’ll join a dynamic team, with the potential to:

• Lead and contribute to greenfield projects, driving innovation and defining the future of GAI at the firm through full-cycle ownership, from exploration to deployment.
• Collaborate directly with internal groups and end users to build GAI applications tailored to nuanced, real-world business needs, and deliver solutions with immediate impact.
• Experiment with emerging AI tools and applications, rapidly prototyping and integrating them across platforms to enhance usability and effectiveness firmwide.
• Scale GAI tool adoption and improve integration with internal systems, with a focus on enabling seamless workflows and efficiency gains.

Who we're looking for

• An extensive background in software and product development and a solid understanding of GAI technologies, demonstrated through hands-on experience building and scaling AI solutions at the product or company level.
• Expertise in technical or entrepreneurial environments, with a record of solving complex challenges and taking projects from inception to deployment.
• We welcome outstanding candidates at all experience levels who are excited to work in a collegial, collaborative, and fast-paced environment.
• The expected annual base salary for this position is 200,000USD to 250,000USD. Our compensation and benefits package includes variable compensation in the form of a year-end bonus, guaranteed in the first year of hire, and benefits including medical and prescription drug coverage, 401(k) contribution matching, wellness reimbursement, family building benefits, and a charitable gift match program.

Location USA, CA, Sunnyvale USA, WA, Seattle

Description Prime Video is a first-stop entertainment destination offering customers a vast collection of premium programming in one app available across thousands of devices. Prime members can customize their viewing experience and find their favorite movies, series, documentaries, and live sports – including Amazon MGM Studios-produced series and movies; licensed fan favorites; and programming from Prime Video add-on subscriptions such as Apple TV+, Max, Crunchyroll and MGM+. All customers, regardless of whether they have a Prime membership or not, can rent or buy titles via the Prime Video Store, and can enjoy even more content for free with ads.

Are you interested in shaping the future of entertainment? Prime Video's technology teams are creating best-in-class digital video experience.

As a Prime Video technologist, you’ll have end-to-end ownership of the product, user experience, design, and technology required to deliver state-of-the-art experiences for our customers. You’ll get to work on projects that are fast-paced, challenging, and varied. You’ll also be able to experiment with new possibilities, take risks, and collaborate with remarkable people.

We’ll look for you to bring your diverse perspectives, ideas, and skill-sets to make Prime Video even better for our customers. With global opportunities for talented technologists, you can decide where a career Prime Video Tech takes you!

We are looking for a self-motivated, passionate and resourceful Applied Scientist to bring diverse perspectives, ideas, and skill-sets to make Prime Video even better for our customers. You will spend your time as a hands-on machine learning practitioner and a research leader. You will play a key role on the team, building and guiding machine learning models from the ground up. At the end of the day, you will have the reward of seeing your contributions benefit millions of Amazon.com customers worldwide.

Remote - Americas

Machine Learning Engineer - Ads

Great advertising connects merchants with customers who genuinely need what they're selling. As a Machine Learning Engineer focused on Ads, you'll build the targeting and personalization technology that makes these meaningful connections happen at scale. You'll develop sophisticated machine learning models that help merchants reach the right audience at exactly the right moment, creating advertising experiences that drive real business growth while respecting the customer experience.



Key Responsibilities:

• Develop and optimize advanced machine learning models for ad targeting and personalization systems
• Analyze comprehensive ad performance data to identify optimization opportunities and maximize ad spend efficiency
• Collaborate closely with advertising teams to integrate ML solutions seamlessly into our ad platform
• Research and implement innovative algorithms and tools to enhance ad relevance and effectiveness
• Document technical insights and share best practices across engineering teams

Qualifications:

• Extensive experience building and deploying machine learning models for advertising systems at scale
• Strong proficiency in ML frameworks including TensorFlow or PyTorch, with expert-level Python programming skills
• Proven analytical skills for processing and extracting insights from large-scale datasets
• Demonstrated problem-solving abilities and innovative thinking in ad technology solutions
• Solid familiarity with ad platforms, A/B testing methodologies, and data-driven decision making processes
• Experience with statistical methods and performance optimization for ML systems

Ready to connect merchants with their perfect customers? Join the team that's making commerce better for everyone.


At Shopify, we pride ourselves on moving quickly—not just in shipping, but in our hiring process as well. If you're ready to apply, please be prepared to interview with us within the week. Our goal is to complete the entire interview loop within 30 days. You will be expected to complete a live pair programming session, come prepared with your own IDE.



This role may require on-call work

Pinely is a privately owned algorithmic trading firm specializing in high-frequency and mid-frequency trading. We’re based in Amsterdam, Cyprus, and Singapore, and we’re experiencing rapid growth. Pinely is a high-frequency algorithmic trading firm based in Amsterdam. We develop robust and adaptive strategies across diverse markets and actively support the Olympiad movement; many team members are award-winning mathematicians, researchers, and engineers.

Researchers work in a fast-paced HFT environment where ideas quickly reach production. They are supported by a strong infrastructure team enabling large-scale experiments and reliable deployment. Our flat structure encourages autonomy, creativity, and direct impact. We value an informal, idea-driven culture.

We are opening a position for a Junior Deep Learning Researcher in our Amsterdam office.

Responsibilities:

• Conduct research in AI, machine learning, and related quantitative fields
• Develop and experiment with modern deep learning architectures
• Analyze large, unstructured, noisy datasets
• Collaborate with developers and researchers on optimizing trading strategies
• Explore new methods and technologies to improve research outcomes

Requirements:

• Publications in ICML, NeurIPS, ICLR, CVPR, ICCV
• Degree in mathematics, physics, computer science, or another quantitative field (or expected within a year)
• Knowledge of ML, probability theory, and statistics
• Strong Python skills
• Some C++ experience
• Practical experience with modern DL architectures
• Background in working with large noisy datasets

What we offer:

• High base salary with substantial biannual bonuses
• Relocation package to Amsterdam with flexible terms
• Flexible workflow and schedule
• Team of top mathematics and programming competition winners
• Cutting-edge hardware, strong engineering support, and fast idea implementation
• Internal training, comprehensive health insurance, sports reimbursement, and biannual corporate events

Location: Perth, Australia

Research Associate

Job Reference: 521359
Employment Type: Full Time (Fixed Term, 2 Years)
Categories: Arts, Business, Education, Law

Remuneration

Base salary: Level A, $83,499–$112,371 p.a. (pro-rata) plus 17% superannuation

The Research Centre

The Planning and Transport Research Centre (PATREC) at UWA conducts research with direct application to transport planning and road safety. RoadSense Analytics (RSA) is a video analytics platform for traffic analysis, developed through seven years of sustained R&D. The platform translates Australian research into a market-ready product for transport planning applications.

The Role

You will design, test, and refine computer vision models for traffic video analytics, including detection, tracking, segmentation, and post-processing tasks. You will prepare and manage datasets, benchmark emerging frameworks, and contribute to deployment testing and optimisation across varied environments. Working within a small team, you will document findings, produce technical outputs, and contribute to research that influences road safety and transport planning.

Selection Criteria

Essential:

• Tertiary degree in Computer Science, Applied Mathematics/Statistics, Robotics, Physics or related discipline, with excellent academic record
• Strong foundations in applied mathematics, computer vision and machine learning, particularly object detection and tracking
• Proficiency in deep learning frameworks (e.g., PyTorch, TensorFlow) and Python ML libraries (e.g., NumPy, OpenCV, scikit-learn)
• Experience with dataset preparation, training pipelines, and evaluation methods
• Ability to work independently and collaboratively in a research team

Further Information

Position Description: PD [Research Associate] [521359].pdf

Contact: Associate Professor Chao Sun
Email: chao.sun@uwa.edu.au

NVIDIA is searching for an outstanding researcher working on efficient deep learning to join the deep learning efficiency research team. We are passionate about research that pushes boundaries but also has impact in the real world. We are particularly excited about methods for post-training model optimization (pruning, quantization, NAS), efficient architecture design, adaptive/dynamic inference, resource-efficient training and finetuning, and so forth. You will work within an amazing and collaborative research team that consistently publishes at the top venues in computer vision and machine learning. Our existing expertise includes computer vision, deep learning, generative models, and so forth. Your contributions have the chance to create real impact on our products.

What you'll be doing: Research, design and implement novel methods for efficient deep learning.

Publish original research.

Collaborate with other team members and teams.

Mentor interns.

Speak at conferences and events.

Work with product groups to transfer technology.

Collaborate with external researchers.

What we need to see: Completing or recently completed a Ph.D. in Computer Science/Engineering, Electrical Engineering, etc., or have equivalent research experience.

Excellent knowledge of theory and practice of computer vision methods, as well as deep learning.

Background in pruning, quantization, NAS, efficient backbones, and so on, is a plus.

Experience with large language models and large vision-language models is required.

Excellent programming skills in Python and PyTorch; C++ and parallel programming (e.g., CUDA) is a plus.

Hands-on experience with large-scale model training including data preparation and model parallelization (tensor and pipeline) is required.

Outstanding research track record.

Excellent communications skills.

NVIDIA is widely considered to be one of the technology world's most desirable employers. We have some of the most forward-thinking and productive people in the world working for us. If you're creative and autonomous, we want to hear from you!

Your base salary will be determined based on your location, experience, and the pay of employees in similar positions.

The base salary range is 160,000 USD - 258,750 USD.

You will also be eligible for equity and benefits.

NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.

Our 10-week internship is your chance to experience life as a researcher at IMC. You will work alongside your mentor to explore new research ideas and build custom analysis tools that may be deployed into production. Throughout the summer, there will be opportunities to enhance your knowledge of options theory, market making, algorithm complexity and trades analysis. We provide a highly competitive compensation package with accommodations included. The bar for talent at IMC is high and interns who meet our performance expectations will have the opportunity to secure a full time Graduate Researcher position at the end of the program. Where you go from here is up to you!

New York

Quant Analyst

Quants at the D. E. Shaw group apply mathematical techniques and write software to develop, analyze, and implement statistical models for our computerized financial trading strategies. They utilize their creativity and innovation to create novel approaches to trade profitably in markets around the globe with a firm that offers a collegial, collaborative, and engaging working environment.

What you'll do day-to-day

Specific responsibilities range from leveraging financial data in an effort to increase profitability, decrease risk, and reduce transaction costs to conceiving new trading ideas, formulating them into systematic strategies, and critically evaluating their performance.

Who we're looking for

• Successful candidates will have impressive records of academic achievement and be the top students in their respective math, statistics, physics, engineering, computer science, and other technical and quantitative programs.
• The expected annual base salary for this position is 225,000USD for applicants who have completed undergraduate or master’s degrees and 250,000USD for applicants who have completed PhDs (or have comparable professional experience). Our compensation and benefits package includes substantial variable compensation in the form of a year-end bonus, guaranteed in the first year of hire, a sign-on bonus, a relocation bonus, and benefits including medical and prescription drug coverage, 401(k) contribution matching, wellness reimbursement, family building benefits, and a charitable gift match program.