Software Engineer - Build Systems, Compilers, and Languages

About BasisBasis is a pioneering nonprofit organization dedicated to applied AI research, driven by a dual mission.Firstly, we aim to deepen our understanding and development of intelligence. This involves establishing the mathematical foundations of reasoning, learning, decision-making, understanding, and explanation, along with creating software that embodies these principles.Secondly, we strive to enhance society’s capacity to tackle complex challenges. This means broadening the scale and complexity of the problems we can address today, while also accelerating our future problem-solving capabilities.To realize these aims, we are constructing an innovative technological framework inspired by human reasoning and fostering a collaborative organization that prioritizes human values.About the RoleAs a Research Scientist at Basis, you will play a crucial role in advancing our understanding of the theoretical, mathematical, and computational principles underlying intelligence.Our Research Scientists possess key characteristics:Outstanding technical expertise—strong mathematical and computational foundations.A creative builder’s mindset—capable of designing, constructing, and refining complex systems based on foundational principles.Commitment to scientific rigor—engaging in high-quality, robust scientific inquiry without hesitance to experiment, learn from mistakes, and explore unconventional ideas.At Basis, collaboration is key, both within our teams and with external partners. We seek individuals who thrive in collaborative environments and are eager to tackle challenges that transcend individual capabilities.Programming Languages Research ScientistsThis role is tailored for experts in the design, implementation, and analysis of programming languages. You will assist in the design and implementation of the foundational computational reasoning systems under development at Basis.Key focus areas of programming languages research include compiler design, partial evaluation, program analysis, abstract interpretation, and program transformation. This work is conducted within the context of constructing reasoning systems, leading to engagement with topics such as probabilistic programming, automatic differentiation, and SAT/SMT solvers.Expectations:Possess a PhD (or equivalent experience) in a relevant field.

About the Position We are thrilled to offer research internships in our Tools and Compilers team at Jane Street. We are seeking PhD and master's students with exceptional research backgrounds in programming languages, compilers, verification, and associated fields. The Compilers team at Jane Street is dedicated to enhancing OCaml as a cornerstone for our expanding technology ecosystem, working closely with the broader OCaml community. Our efforts span various aspects of the compiler, aiming to simplify the process for developers to articulate their concepts in OCaml, augment the efficiency of the generated code, and enhance the usability and speed of the OCaml compiler itself. Over the years, we have enriched the type system to incorporate innovative language features, rebuilt the optimizer from the ground up, and implemented feedback-directed optimization. We also enhance the surrounding toolchain, developing tools for profiling, debugging, documentation, and build automation. The majority of our work is open-source, and we strive to contribute as much as possible back to the mainstream OCaml compiler. During the application process, we will collaborate with you to find a project that aligns with your research expertise and interests. Some areas we are keen to explore include: Type systems that track locality and uniqueness Superoptimization Compiler testing and validation Throughout the internship, you will work closely with your mentors on a specific project for approximately 10-12 weeks. You will learn about our daily use of OCaml, gain insight into the libraries and tools that are fundamental to our internal systems, and better understand the diverse range of challenges we tackle daily. You will have the opportunity to experiment with new ideas and apply cutting-edge research to a large, actively developed production codebase. Additionally, you will have access to both physical and virtual educational resources, attend guest speaker sessions and social events, and hopefully gain a genuine sense of what it would be like to work with us full-time.

About BasisBasis is a pioneering nonprofit organization dedicated to applied AI research, pursuing two interconnected goals.Our primary objective is to understand and create intelligence. This involves formulating the mathematical foundations of reasoning, learning, decision-making, understanding, and explanation, while developing software that embodies these concepts.The second goal is to enhance society’s capacity to solve complex challenges. We aim to broaden the scope, intricacy, and variety of challenges we can address today, and crucially, to expedite our ability to tackle future problems.To realize these objectives, we are constructing an innovative technological base inspired by human reasoning, and fostering a collaborative organizational culture that prioritizes human values.About the RoleAs a Research Scientist on the MARA (Modeling, Abstraction, and Reasoning Agents) initiative, you will be instrumental in developing computational theories of scientific reasoning in the realms of robotics and embodied intelligence. Your work will push the boundaries of world modeling, reinforcement learning, program synthesis, and robotic control, enabling systems to learn, reason about, and engage with the physical world.We are seeking outstanding researchers with a strong background in Program Synthesis & Neuro-symbolic Methods. The ideal applicant will have a robust publication record in esteemed venues, blending theoretical expertise with practical implementation skills, and a passion for building systems that emulate scientific learning—hypothesizing, experimenting, and modeling the workings of the world.In this role, you will collaborate with an interdisciplinary team to address fundamental inquiries: How can agents learn causal models through interaction? How do we connect high-level reasoning with low-level control? How can we produce interpretable, verifiable control programs instead of opaque policies?At Basis, we value collaboration, both within our team and with external partners; we seek individuals who thrive in teamwork on significant challenges that require collective effort.

At EngFlow, we empower developers to streamline their software building and testing processes. Our innovative cloud-based and distributed service significantly enhances developer workflows through remote execution and intelligent caching, resulting in improved efficiency, productivity, and product quality.Backed by leading investors, EngFlow is at the forefront of transforming the software development landscape. We deliver solutions that accelerate builds by tenfold or more, while our observability platform offers actionable insights for optimization. Founded by prominent contributors to Bazel, we create tools that enable engineering teams—from dynamic startups to established Fortune 500 companies—to boost developer velocity and enhance build performance.Find out about our mission, culture, and team: EngFlow | Watch our VideoAs a Software Engineering Manager specializing in build systems, compilers, and programming languages, you will lead a talented engineering team and spearhead the development of pivotal features for our platform. You will have a significant impact on collaborative projects involving Bazel, gRPC, Goma, Soong, CMake, and other open-source initiatives, addressing intricate scalability and performance challenges. This role presents abundant opportunities to explore cutting-edge technology and contribute to a scalable product utilized by some of the most exciting tech companies globally.You will report directly to the Head of Product Engineering, and your responsibilities will encompass project leadership, team management, and direct contributions to product and platform engineering. Over time, this position may evolve from an individual contributor role to a managerial position.

About BasisBasis is a nonprofit organization dedicated to applied artificial intelligence research. Our mission is twofold: to understand and build intelligence and to advance society’s problem-solving capabilities. We strive to unravel the mathematical principles behind reasoning, learning, decision-making, understanding, and explanation, while also developing software that embodies these principles.Our commitment extends to enhancing our ability to tackle complex issues that are beyond today's capabilities and accelerating our potential to address future challenges. We are creating a technological framework inspired by human reasoning, alongside fostering a collaborative organization that prioritizes human values.About the RoleAs a Research Scientist, you will spearhead Basis’ initiatives to deepen our understanding of the conceptual, mathematical, and computational principles of intelligence. We seek individuals who excel technically and are passionate about exploring foundational concepts. Our research team values rigorous, high-quality scientific endeavors while encouraging experimentation and exploration of innovative ideas.Basis thrives on collaboration, both internally and with external partners. We are looking for team players who enjoy tackling significant problems that require collective effort.Research FocusDespite the growing acknowledgment that acquiring and understanding world models is crucial for intelligence, current AI systems face challenges in mirroring this human capability. Key uncertainties remain regarding the essence of a world model, methods for reliably detecting its presence in agents, and approaches to develop agents capable of learning these models effectively.Our research, particularly within the MARA project, seeks to establish new foundations and technologies for modeling, abstraction, and reasoning in AI systems. MARA's goal is to identify principled methods for how intelligence constructs, refines, and employs world models through interactive experimentation. Achieving this will require advancements in knowledge representation, abstraction, reasoning, active learning, and reinforcement learning, necessitating a first-principles reevaluation of world modeling.

About BasisBasis is a nonprofit organization dedicated to applied AI research, striving to achieve two interconnected objectives.Firstly, we aim to understand and develop intelligence. This involves establishing the mathematical foundations of reasoning, learning, decision-making, comprehension, and explanation; along with creating software that embodies these principles.Secondly, we seek to enhance society's capacity to address complex challenges. This means broadening the range, scale, and intricacies of the problems we can tackle today, while also accelerating our ability to solve future challenges.To fulfill these missions, we are constructing a novel technological framework inspired by human reasoning, and fostering a collaborative organization that prioritizes human values.About the RoleAs a Research Scientist, you will spearhead Basis's initiatives to deepen our comprehension of the theoretical, mathematical, and computational aspects of intelligence.We seek individuals with exceptional technical skills who are passionate about exploring concepts at their core. Our research scientists and engineers are committed to conducting rigorous, high-quality, and robust scientific inquiry, yet they embrace experimentation, learning from mistakes, and exploring innovative ideas to achieve their goals.Basis thrives on collaboration, both internally and with external partners; thus, we value team players who relish tackling challenges that surpass individual capabilities.Research FocusOur research under the MARA project is dedicated to forging new principles and technologies for modeling, abstraction, and reasoning in AI systems. The primary aim of MARA is to reveal principled methodologies for how intelligence constructs, refines, and applies world models through interactive experimentation.For this position, we specifically seek experts in Reinforcement Learning & Planning who can push the boundaries of model-based RL, exploration strategies, optimal control, and Bayesian optimization. You will develop agents capable of learning efficient policies in intricate, partially observable environments by utilizing structured world models.

Mirage builds an AI-native platform for video production and editing, centered in Union Square, New York City. The platform uses natural language to guide intelligent orchestration, allowing advanced models to understand context and mimic the creative decisions of experienced editors. This approach aims to boost productivity for professional teams and open up video creation to a wider audience. About the Team The team at Mirage brings together people from a range of backgrounds, blending technical and artistic skills to solve tough challenges in generative media. The work goes beyond routine model development, focusing on problems that remain unsolved across the industry. Role Overview: Research Scientist, Large Language Models This early team role offers the chance to shape the core technology behind Mirage. The position involves tackling foundational questions in generative AI and creative tooling, with the potential to influence how people create and edit video for years to come.

About BasisBasis is a pioneering nonprofit organization dedicated to applied AI research. Our mission is twofold: to deepen our understanding of intelligence and to empower society in solving complex, challenging problems.Our first objective is to comprehend and construct intelligence. This involves establishing foundational mathematical principles for reasoning, learning, decision-making, comprehension, and explanation, while also developing software that embodies these principles.Secondly, we aim to enhance society’s capability to tackle intractable issues. This includes broadening the scope and complexity of problems we can address today and accelerating our future problem-solving abilities.To accomplish these objectives, we are creating a technological infrastructure inspired by human reasoning and fostering a collaborative organization that prioritizes human values.About the RoleAs a Research Scientist, you will spearhead Basis’ initiatives to unravel the conceptual, mathematical, and computational foundations of intelligence. We seek individuals with exceptional technical skills who are eager to explore foundational concepts. Our research scientists and engineers are committed to conducting rigorous, high-quality scientific investigations, while also embracing the opportunity to experiment, learn from errors, and explore innovative ideas.Collaboration is integral to our work, both internally and with external partners. We are searching for individuals who thrive in team settings, tackling challenges that transcend individual capabilities.Key Expectations:Proven ability to conduct high-quality scientific research, demonstrated through publications, technical reports, or software projects.Preferred Qualifications:PhD or equivalent experience in relevant fields such as statistics, programming languages, machine learning, computational neuroscience, cognitive science, physics, or mathematics.Enthusiasm for addressing real-world challenges and contributing to positive societal change.ResponsibilitiesDevelop and investigate computational theories of intelligence, encompassing reasoning, learning, and decision-making.Collaborate closely with domain experts, both within Basis and externally, to contribute to solving scientific problems.

About BasisBasis is a pioneering nonprofit organization specializing in applied AI research, dedicated to achieving two synergistic objectives.The first objective is to comprehend and develop intelligence. This encompasses establishing the mathematical foundations of reasoning, learning, decision-making, understanding, and explanation; subsequently, we construct software that embodies these principles.The second objective is to enhance society's capacity to tackle complex issues. This involves broadening the scope, intricacy, and variety of challenges we can address today, while also accelerating our future problem-solving capabilities.To fulfill these ambitious goals, we are creating a robust technological foundation inspired by human reasoning, alongside a collaborative organization that prioritizes human values.About the RoleWe are in search of a Technical Program Manager who possesses a deep passion for program management and is eager to propel ambitious research initiatives. In this role, you will be the crucial link connecting our researchers, engineering teams, leadership, and external partners, requiring both technical acumen and project management skills.

Schmidt Sciences is a forward-thinking nonprofit organization founded in 2024 by Eric and Wendy Schmidt, dedicated to advancing scientific knowledge and fostering breakthroughs with innovative tools aimed at ensuring a sustainable planet. Our primary focus is on impactful research in key areas, including artificial intelligence (AI) and advanced computing, astrophysics, biosciences, climate science, and space exploration, while also supporting researchers across various disciplines through our science systems program.About the AI & Advanced Computing Institute (“AI Institute”) The AI Center at Schmidt Sciences is a pioneering grantmaking and research entity that recognizes AI as a transformative driver of scientific discovery and societal advancement. Our objective over the next decade is to empower key researchers dedicated to enhancing the competency, trustworthiness, and reliability of AI systems, enabling them to collaborate effectively with human scientists in groundbreaking discoveries. Additionally, we intend to strategically invest in beneficial AI sectors where philanthropy can create unique advantages. By bolstering essential infrastructure, foundational research, and targeted programs across scientific disciplines, the AI and Advanced Computing Center aims to facilitate the conditions necessary for AI-enabled discoveries to fulfill their potential. The AI Center focuses on three primary areas: 1. AI for Science – leveraging AI to enhance how scientists formulate hypotheses, conduct experiments, analyze data, and generate new knowledge, specifically accelerating the discovery process. 2. Science of AI – exploring and managing AI systems to mitigate risks associated with advanced AI, while improving reliability and performance in areas often neglected by commercial interests. Current initiatives include AI2050 and the Science of Trustworthy AI. 3. Beneficial AI – establishing scientific foundations and datasets to understand the broader human impacts of AI, including high-impact grantmaking programs aimed at utilizing AI to accelerate research in the humanities and assessing AI's effects on the labor market.

Join Integrated Resources Inc. as a Research Scientist I, where you will contribute to groundbreaking scientific discoveries and innovative solutions. This role offers a fantastic opportunity for recent graduates or early-career professionals looking to expand their expertise in a collaborative and dynamic environment.

Join Integrated Resources, Inc. as a Research Scientist, where you will play a crucial role in advancing scientific knowledge and innovation. You will engage in cutting-edge research projects, collaborate with interdisciplinary teams, and contribute to the development of impactful solutions in various scientific fields. Your expertise will help us drive our mission of delivering high-quality research that enhances lives.

Join our dynamic team at Anthropic as a Research Engineer or Research Scientist specializing in Tokens. In this role, you will engage in groundbreaking research and development, contributing to the advancement of our token systems and enhancing their capabilities. Your work will be pivotal in shaping the future of our technology and driving innovation in our projects.

Join Duolingo, the world's leading language-learning platform, as the Principal Learning Scientist and Head of Efficacy Research. In this pivotal role, you will spearhead innovative research initiatives to assess and enhance the efficacy of our educational products. Your expertise will guide the development of evidence-based strategies that ensure our learners achieve their language goals effectively.As the Head of Efficacy Research, you will collaborate with cross-functional teams, including product development and data analytics, to design robust research methodologies. You will analyze user data and feedback, translating insights into actionable recommendations that drive product improvements. This is an exciting opportunity to influence the future of language education on a global scale.

Schmidt Sciences is a nonprofit organization established in 2024 by Eric and Wendy Schmidt with a mission to expedite scientific knowledge and breakthroughs through the application of innovative tools aimed at fostering a sustainable planet. The organization emphasizes impactful research in fields such as AI and advanced computing, astrophysics, biosciences, climate science, and space, while also supporting diverse researchers across various disciplines via its science systems program.About the AI & Advanced Computing Institute ("AI Institute")The AI Institute at Schmidt Sciences functions as a grantmaking and research entity that recognizes AI as a revolutionary catalyst for scientific discovery and societal advancement. Over the coming decade, we aspire to support leading researchers committed to developing AI systems that are not only competent and trustworthy but also capable of collaborating effectively with human scientists in driving the next wave of breakthroughs. Additionally, we will engage in select, strategic investments in beneficial AI sectors where philanthropic efforts can provide distinct advantages. By enhancing the necessary infrastructure, foundational research, and specialized programs within scientific disciplines, the AI and Advanced Computing Institute will cultivate the conditions required for AI-fueled discoveries to reach their full potential.The AI Institute currently focuses on three pivotal areas:AI for Science – leveraging AI to enhance hypothesis generation, experiment execution, data analysis, and knowledge creation, all aimed at accelerating the discovery process. Exploratory initiatives encompass post-transistor hardware for AI and AI applications in scientific simulations.Science of AI – investigating and managing AI systems to mitigate potential risks associated with advanced AI technologies. This area focuses on enhancing AI's reliability and performance in sectors with limited commercial appeal. Existing programs include AI2050 and the Science of Trustworthy AI. Emerging projects address topics like AI interpretability and the evolution of multi-agent communication.Beneficial AI – establishing scientific foundations and datasets to better understand the broader human implications of AI. This includes significant grantmaking initiatives such as our programs aimed at utilizing AI to accelerate humanities research (Humanities and AI Virtual Institute) and quantifying AI's impact on the labor market (AI@Work).

Join our dynamic team at 2K as a Research Program Manager. In this pivotal role, you will spearhead research initiatives, ensuring that projects are executed effectively and align with our strategic objectives. Your expertise will guide the development and implementation of research methodologies, fostering collaboration across departments to drive innovation and excellence.

The City of New York seeks a City Research Scientist to assist with research projects that inform public policy and improve city services. This position plays a part in supporting data-driven work across several municipal departments. Role overview This role focuses on conducting research and analysis that helps guide decisions within city agencies. The work directly impacts how policies are developed and how services are delivered to residents. Key responsibilities Support research projects for city departments Contribute to data analysis that shapes public policy Help strengthen city services through evidence-based recommendations Location This position is based in New York City.

Jump Trading Group is at the forefront of world-class research, empowering talented individuals in Mathematics, Physics, and Computer Science to explore scientific boundaries and apply innovative research to the global financial markets. Our unique culture thrives on constant innovation, which requires creativity, intellectual honesty, and a relentless competitive spirit. We believe in collaborative success, unlocking individual talents through mutual respect and teamwork. At Jump, our research not only drives superior risk-adjusted returns but also leads to the development of transformative technologies that impact the world, funding startups across various industries, and partnering with premier research organizations and universities to tackle complex challenges.Our AI team serves as a pivotal research and development hub, consisting of quantitative researchers, engineers, and machine learning experts dedicated to advancing large language model (LLM) research and its applications. Our mission is to merge cutting-edge techniques with original research to derive actionable insights from unstructured data.

Join Integrated Resources, Inc. as a Research Scientist I, where your innovative ideas and passion for research will contribute to groundbreaking advancements in the scientific field. You will have the opportunity to collaborate with a dynamic team and engage in exciting projects that push the boundaries of knowledge.