Trusted AI Challenge: Rules

The Amazon Trusted AI Challenge (the “Competition”) is a university competition sponsored by Amazon.com Services LLC (“Sponsor”), in which teams of college or university students compete to accelerate advances in artificial intelligence (AI). This year’s Competition will task student teams competing against each other with the goal of making AI safer for all, with a focus on preventing AI from assisting with writing malicious code or writing code with security vulnerabilities. University teams will focus on building security features and enhancing the robustness of code-generating models. Each team will focus on either building security features for code-generating models (i.e., defense models), or dynamic red-teaming techniques to help test these models (i.e., red-teaming systems).

Selected teams will have the opportunity to participate in the Competition, and final results will be announced in July 2025. See below for the Competition details.

By applying to or participating in the Competition, you agree to these Official Rules. Please read them carefully.

COMPETITION CALENDAR
Applications to participate in the Competition can be submitted starting July 8, 2024. After participating teams are selected, the Competition will run from November 2024 through July 2025 (the "Competition Period"). The Competition phases are noted in the calendar below. The dates are approximate and are subject to change at Sponsor’s discretion.

PhasesStarts on
Phase 1: Participant Application Period7/8/2024
Phase 2: Sponsor Application Review Period9/2/2024
Phase 3: Participant Notification Period and Onboarding9/16/2024
Bootcamp11/18/2024
Phase 4: Initial Build Period11/21/2024
Phase 5: Tournament PeriodJanuary 2025
Phase 6: Finals EventJune 2025
Winners AnnouncedJuly 2025

COMPETITION OVERVIEW
University teams will focus on maintaining the benefits and utility of code generation models, while improving their robustness with respect to security principles. During the Competition, each team will focus on either building security features into a code-generating model (i.e., model developer teams), or developing dynamic automatic red-teaming techniques (i.e., red teams). For applications, each team may choose to apply for either a red-team role or model developer teams role, or they may choose to apply for either role and be assigned a role in Sponsor’s discretion. Throughout the Competition, red teams and model developer teams will participate in tournaments where automatic red teaming systems have the opportunity to identify weaknesses in model developer teams’ models - providing teams with feedback from dynamic, multi-turn interactions.

ELIGIBILITY
To be eligible to participate in the Competition, you must: (1) be enrolled as a full-time undergraduate or post-graduate student at an accredited college or university (other than colleges or universities located in any of the Restricted Jurisdictions defined below) (“Universities”) and remain a full-time student in good standing at such University while participating in the Competition; (2) be at or above the age of majority in your country, state, province or jurisdiction of residence at the time of entry; and (3) not be a person or entity subject to U.S. export controls or sanctions, including citizens of any of the Restricted Jurisdictions defined below. Competition is void in Cuba, Iran, Syria, North Korea, Sudan, the region of Crimea, the so-called Donetsk People’s Republic (DNR) or Luhansk People’s Republic (LNR), and where prohibited by law (each, a “Restricted Jurisdiction”). People who, during the Competition Period, are directors, officers, employees, interns, and contractors (“Personnel”) of Sponsor, its parents, subsidiaries, affiliates, and their respective advertising, promotion and public relations agencies, representatives, and agents (collectively, “Competition Entities”), immediate families members of such Personnel (parents, siblings, children, spouses, and life partners of each) and members of the households of such Personnel (whether related or not) are ineligible to participate in this Competition. Sponsor reserves the right to verify eligibility and to adjudicate on any dispute at any time.

Entrants (“Entrants”) must enter as part of an “Entrant Team” consisting of one or more students from a single University. An Entrant is only permitted to be part of one Entrant Team. Any Entrant that is part of more than one Entrant Team may be disqualified and his/her corresponding Entrant Teams may be disqualified at the sole discretion of Sponsor. Only one member of the Entrant Team may submit an application on behalf of an Entrant Team but all those listed on the application are Entrants. All prize money payable to Entrant Teams will be split evenly among eligible Entrants of a winning Entrant Team (based on the pre-tax amount of prize money), as identified in the application, as updated as permitted by these Official Rules, and who maintain full-time student status in good standing at their University during the entire Competition Period.

Each team must select a faculty advisor, who, with respect to that team, will act as the official representative for the Entrant Team’s University (the “Faculty Advisor”). Each Entrant Team must have its own Faculty Advisor; Faculty Advisors may not represent multiple teams. Faculty Advisors are not members of the Entrant Team and will not receive any portion of any prize. Faculty Advisors must remain full time employees of the Entrant Team University during the entire Competition Period. During the Competition Period, but no later than April 20, 2025, the Faculty Advisor may request to remove members from the Entrant Team or to add additional members to the Entrant Team. The Faculty Advisor must provide an explanation of the reason for the removal or addition, and any proposed new member must provide documentation requested by Sponsor and agree to comply with these Official Rules. Changes to the Entrant Team are subject to Sponsor’s approval in its sole discretion. If at any point during the Competition Period, the Entrant Team’s Faculty Advisor cannot continue to serve as a Faculty Advisor, the Entrant Team may submit a request to Sponsor to select a new Faculty Advisor. Changes to the Entrant Team’s Faculty Advisor are subject to Sponsor’s approval in its sole discretion. If an Entrant Team fails to have a Faculty Advisor at any point in time during the Competition, for any reason, the Entrant Team may be disqualified.

Each Entrant must be eligible to participate in this Competition and comply with these Official Rules or the Entrant, and the Entrant Team associated with that Entrant, may be disqualified. This Competition is subject to all applicable federal, state, territorial, provincial, and local laws. Competition is void where prohibited. By participating in the Competition, all Entrants accept and agree to comply with and abide by these Official Rules and the decisions of the Sponsor which will be final and binding, including the Sponsor’s right to verify eligibility, to interpret these Official Rules, and to resolve any disputes relating to this Competition at any time. Only Entrants may work on the Competition or their entries (e.g., models or red-teaming systems), although employees of the Sponsor may provide support to the Entrant Team during the Competition Period, and the Faculty Advisor, and other students and faculty members at an Entrant Team’s University may provide support and advice to the Entrant Team and may co-author the Technical Article (as defined below) or other research papers.

ADDITIONAL REQUIREMENTS
During all phases of the Competition, Sponsor may in its sole discretion require Entrant Teams to provide periodic status updates, reports, or demonstrations of the red-teaming system or model. Sponsor may also require Entrant Teams to comply with additional rules, requirements, or procedures that Sponsor determines, in its sole discretion, are necessary for the administration of the Competition. Sponsor may in its sole discretion penalize teams for noncompliance with any rules, requirements, or procedures, including by disqualification from the Competition.

Sponsor may provide Entrants selected to participate in the Competition access to generative AI models, software, software development kits, libraries, APIs, documentation, sample code, data sets, and related materials (“Program Materials ” and “Restricted Program Materials”) that may be used in connection with the Competition. If an Entrant uses any Program Materials or Restricted Program Materials, the Entrant is subject to and agrees to comply with Sponsor’s Program Materials License Agreement or a substantially similar alternative license that may be applied at Sponsor’s sole discretion. Program Materials and Restricted Program Materials may include APIs, data sets, models, model outputs, and other materials that are not public (“Non-Public Materials”).

Each Entrant and Faculty Advisor agrees that they will not disclose, distribute, or otherwise make available any Non-Public Materials to anyone other than other Entrants of their Entrant Team and the Entrant Team’s Faculty Advisor. Each Entrant (and each Faculty Advisor) agrees that they will use Non-Public Materials only in connection with the development of a model or red-teaming system as part of the Competition and in compliance with these Official Rules. Entrants (and Faculty Advisors) may not use Non-Public Materials for any other purpose. Entrants (and Faculty Advisors) must return or destroy all Non-Public Materials (in any form and including, without limitation, all summaries, copies and excerpts of the same) promptly following any request from Sponsor, or if the Entrant Team discontinues the development or operation of its model or red-teaming system. If any Entrant or Faculty Advisor is disqualified from the Competition, leaves the University, or otherwise terminates their participation in the Competition, that individual must immediately return or destroy all Non-Public Materials in their possession. Sponsor reserves the right in its sole discretion to impose additional terms and conditions on the use of Program Materials, and to condition access to Program Materials on Entrants’ agreement to those terms and conditions.

Each Entrant Team and Faculty Advisor agrees that they will not copy, disclose, distribute, or otherwise use any output created by a generative AI model during the course of this competition for any purpose other than the development or improvement of their systems as part of this Competition. Entrant Teams may not publish any model output or publish or deploy their systems for any purpose, including in connection with any paper submission, without prior review and approval by Sponsor.

DESCRIPTION OF COMPETITION PHASES
PHASE 1 “Participant Application Period”: Between July 8, 2024 and September 1, 2024, the student leader of each Entrant Team that wishes to enter the Competition may visit amazon.science/trusted-ai-challenge (the “Competition Site”) to submit their entry information via the YouNoodle, Inc. (“YouNoodle”) application portal, including but not limited to: complete names, contact information, and resumes of all Entrant Team members, proof of University enrolled status (e.g., verification of enrollment or an uploaded copy of Entrants’ student IDs), name and contact information of a sponsoring Faculty Advisor from the Entrant Team’s University, and a bio for each Entrant Team member.

Sponsor will consider applications by multiple different teams from a single institution, but each Entrant Team must have their own Faculty Advisor, and there can be no overlap in the composition of the Entrant Teams or Faculty Advisors. If more than one Entrant Team is accepted from any university, the Teams will be expected to work independently, and any collaboration or coordination among Entrant Teams will be grounds for disqualification.

Entry Applications may be submitted at any time during the Participant Application Period. Only one individual per Entrant Team may submit an Entry Application on behalf of their Entrant Team. Other members of the Entrant Team must accept the invitation to join the team via the YouNoodle application portal. All Entrants must create an account with YouNoodle if they have not done so already in order to submit an Entry Application or accept an invitation to join an Entrant Team and participate in the Competition. Creating and maintaining a YouNoodle account is free of charge. All Entry Applications must be complete when the Participant Application Period closes at 11:59 pm Pacific Time on the last day of the Participant Application Period. Entry Applications are not complete until all the online prompts and instructions to upload the Entry Application have been properly followed, the Official Rules have been accepted, and all Entrant Team members and the Faculty Advisor have accepted their invitations to join the Entrant Team via the YouNoodle application portal. Entry Applications may not be revised once submitted. Once submitted, Entry Applications will not be returned and become the property of the Sponsor.

Entry Terms: Determination of eligibility and compliance with these Official Rules and any other requirements imposed by Sponsor will be in the sole discretion of the Sponsor. By entering, Entrants represent that all information and materials submitted to Sponsor in connection with the Competition:

  1. are the original work of the Entrant Team or an update to an original work of the Entrant Team;
  2. do not infringe or violate the rights of any third party, including but not limited to copyrights, trademarks or copyrighted material not owned by the Entrant Team, contract and licensing rights, rights of publicity or privacy, moral rights, or any other intellectual property rights; and
  3. are not subject to any third-party agreements, and that Sponsor will not be required to pay or incur any sums to any person or entity as a result of its exercise of any rights granted under these Official Rules.

As referenced above, each Entrant Team will be required to apply for at least one role (i.e., either the red-team role or model developer role). Alternatively, Entrant Teams can choose to apply for both roles and Sponsor will assign one of the two roles to a team based on the Entry Application in its sole discretion.

PHASE 2 “Sponsor Application Review Period”: All eligible Entry Applications will be reviewed by the Sponsor. Sponsor will select up to ten (10) Entrant Teams for the Competition in its sole discretion, based on the following criteria:

  • The potential scientific contribution to the field;
  • The technical merit of the approach;
  • The novelty of the idea; and
  • An assessment of the Entrant Team’s ability to execute against their plan.

PHASE 3“Participant Notification Period”: Entrant Teams selected by Sponsor to participate in the Competition will be notified by email at the email address provided at time of Entry Application. Entrant Teams acknowledge that some Entrant Teams may include Entrants and Faculty Advisors who participated in prior competitions and other promotions offered by Sponsor.

Stipends: Each Entrant Team selected to participate in the Initial Build Period will be eligible to receive a restricted research grant of $250,000 U.S. dollars (paid in any number of installments as determined by Sponsor in its sole discretion, subject to Entrant Team’s continued participation in and eligibility for the Competition), which will be paid to the Universities of the selected Entrant Teams in the form of restricted research grants. These grants will be awarded to the Universities and not the Entrant Teams or any individual Entrant, and will be subject to the University signing and returning any agreements or other documents required by Sponsor (including IRS forms W-9 and/or W-8), and to the University agreeing in writing that no more than 35% of the research grants may be allocated to administrative fees. Entrant Teams will not be eligible to begin participating in the Competition until all required agreements and other documentation have been completed by the University. The grants are intended to support two full-time students or the equivalent of two full-time students during the Competition and one month of the Faculty Advisor’s salary. Each University will be responsible for allocating and managing the funds within these guidelines and for payment and reporting of any required taxes, withholdings, fees, or duties. Sponsor is not responsible for managing the funds, including their allocation or distribution by the University, after they are paid to the University. Each member of an Entrant Team whose University receives a stipend award, and its Faculty Advisor, will also receive free AWS services to support the development of their model or red-teaming system (subject to reasonable limitations set by Sponsor), and support from the Sponsor as determined by Sponsor.

Stipends are non-transferable except as directed by Sponsor. No stipend substitutions or cash redemptions are allowed except as designated by Sponsor. Except where prohibited by law, all federal, state, provincial, or other tax liabilities or withholdings are the responsibility of the University and the Sponsor will not be responsible for any tax deductions which may be necessary, except that Sponsor may withhold taxes as required by law. Universities are responsible for any costs and expenses associated with stipend acceptance and use. If an Entrant Team withdraws from the Competition or does not remain compliant with these Official Rules, Sponsor will be relieved of any obligation to pay any remaining portion of the stipend to the Entrant Team’s University. All details relating to the stipend not specified herein shall be determined solely by Sponsor.

Boot Camp: Selected Entrant Teams will be invited to a Competition Boot Camp which Sponsor intends to hold in Fall 2024 at Sponsor’s headquarters in Seattle, Washington or alternative location as determined by Sponsor. Entrant Teams will be expected to book their flight and hotels and cover the travel cost using the awarded stipend. Faculty Advisors and at least 1 student team member are expected to attend the Boot Camp. In the event that Sponsor is unable to hold a Boot Camp, Sponsor may reschedule or cancel the Boot Camp at its sole discretion, and Sponsor is not required to reimburse any expenses incurred by Entrant Teams.

PHASE 4 “Initial Build Period”: Selected Entrant Teams will develop their model or red-teaming system. Sponsor will provide each Entrant Team with certain Program Materials or Restricted Program Materials by the beginning of the Initial Build Period.

PHASE 5 “Tournament Period”: The Tournament Period will comprise of three rounds of tournaments. The exact start date and end date of each of the tournaments will be announced prior to the start of the first tournament. On the start date of each of the three tournaments both red teams and model developer teams will submit their red-teaming system and model, respectively, to the Sponsor. Sponsor will then complete a utility evaluation of the model. At the sole discretion of the Sponsor, models may be allowed multiple attempts to pass the utility evaluation; however, teams that are not able to pass the utility evaluation may be disqualified from the tournament. Following the utility evaluation, both red teams and model developer teams will move on to the tournament where each of the red-teaming systems and models will be matched against each other.

During the tournament, each red-teaming system will try to break each model’s defense by either getting the model to provide assistance with writing malicious code and/or generation of vulnerable code (i.e., a model generates code with security vulnerabilities). The Sponsor will then evaluate the interactions between each match-up. Red teams and model developer teams will be ranked separately. Model developer teams (i.e., owners of models) will be ranked based on their system’s average defense success rate across all red-teaming systems. Red teams (i.e., owners of red-teaming systems) will be ranked based on a combination of their diversity of red-team techniques and their average red-teaming success rate across all models.

No teams will be eliminated during the tournament rounds. Evaluation results may be provided to the Entrant Teams, as determined by Sponsor in its sole discretion. Both red teams and model developer teams may improve their systems in between tournament rounds, after the Sponsor notifies them that a tournament round is complete. Teams may not modify their model or red-teaming system systems while the tournament round is on-going. To move to the Finals Event, teams must meet minimum success criteria that will be established and provided to Entrant Teams during the Tournament Period. Teams that do not meet this criteria at the end of the third tournament may be eliminated following the end of the Tournament Period.

Summit: Sponsor at its sole discretion may choose to hold a summit after the Tournament Period, but before the Finals Event. Sponsor may elect to provide each finalist Entrant Team reimbursement for the cost of airline tickets (non-refundable coach class booked through Sponsor at least 14 days in advance) to the site of the Summit where Entrant teams will present their innovations from the competition, and the provision of hotel rooms at the site of the Summit or such other event, to permit members of each Entrant Team (up to a maximum number of members determined by Sponsor) and the Faculty Advisor to attend the Summit or such other event. Travel expense subsidies and access to the event may be subject to tax information reporting and withholding to the extent required by law.

Disclosure of Third-Party Funding. If any Entrant Team receives any third-party funding to facilitate its participation in this Competition, such funding must be disclosed to Sponsor no later than the last date of the Tournament Period, along with any requirements imposed on the Entrant Team in connection with the funding. Entrant Teams may not accept or use any third-party funding if acceptance or use of that funding, or any requirements imposed in connection with that funding, would conflict with these Official Rules.

Technical Publication: No later than the first day of the 3rd tournament round all participating Entrant Teams must submit to Sponsor a technical article including (a) the technical approach for their model or red-teaming system, and (b) any comparative experiments performed by the Entrant Team and results of those experiments (a “Technical Article”). Entrant Team’s Technical Article must include sufficient detail to permit other researchers to replicate the work. However, Technical Articles may not include any Non-Public Materials or other confidential information of Sponsor or its affiliates. If a Technical Article does not provide sufficient detail to replicate the work, Sponsor may require the Entrant Team to provide Sponsor any additional information needed to replicate the work. Sponsor will publish the Technical Articles in connection with the Finals Event. Prior to the publication, Sponsor will not disclose Technical Articles to third parties. Entrant Teams may update their Technical Articles prior to the Finals Event.

In addition to the required Technical Articles, Entrants may publish other technical articles describing their work (“Additional Articles”). However, prior to submitting any technical articles to any publication, conference, or other venue for publication, Entrant Teams must obtain Sponsor’s written approval. Additional Articles may not include any Non-Public Materials or other confidential information of Sponsor or its affiliates. Entrants must submit any Additional Articles to Sponsor for review and comment at least two weeks prior to the submission deadline and must make, prior to submission, any changes or deletions requested by Sponsor to protect confidential or other sensitive information.

PHASE 6 “Finals Event”: Sponsor will hold a multi-day Finals Event that will be structured as follows. Sponsor will recruit expert red teamers to serve as judges (e.g., cybersecurity experts) that will come onsite to Sponsor’s campus (Entrant Teams will not be onsite during the Finals Event). For both red teams and model developer teams, evaluation of red-teaming or defense success in finals will be by these expert human judges. Red-teaming and model developer teams will be matched up against each other as they were in previous tournaments, with the addition of human expert red teamers having the opportunity to launch red-teaming techniques on each of the model developer finalists. The final ranking and determination of winners for models will combine their defense performance against the finalist red-teaming system and against human red teamers. The final ranking and determination of winners for red-teaming systems will be determined by scoring their red-teaming success by expert human judges.

Winners Announcement Event: Sponsor may elect to provide each finalist Entrant Team reimbursement for the cost of airline tickets (non-refundable coach class booked through Sponsor at least 14 days in advance) to the site of the event announcing the winners of the Competition, and the provision of hotel rooms at the site of the Event or such other event, to permit members of each finalist Entrant Team (up to a maximum number of members determined by Sponsor) and the Faculty Advisor to attend the Event or such other event. Travel expense subsidies and access to the event may be subject to tax information reporting and withholding to the extent required by law.

PHOTO, UNIVERSITY LOGO AND TEAM WRITE-UP REQUIREMENTS
Each selected Entrant Team must provide a team photo including all the team members and faculty advisor within 15 days of selection. No photo collage of individual pictures will be accepted. The team photos must be rectangular or square. Entrant Team photos that are strongly horizontal or vertical will not be accepted. The Entrant Team must provide a 50 word write-up about the each individual team member and faculty advisor also within 15 days of selection. The write-up must be written in the third person. Every subsequent reference to the member must be a pronoun or last name. e.g.,: “Tom Smith is a computer science PhD student at ABC university, he/Smith is studying..” When requested by Sponsor, Entrant Teams must provide a high quality University logo that the Sponsor is free to use for any marketing or promotional content for the Trusted AI Challenge program.

PRIZES
Overall Performance Prize
Following the Finals Event, the two finalist red-teaming systems that attain the two highest ranks among the finalist red-teaming systems and the two finalist models that attains the two highest ranks among the finalist models will be the First-Place and Second-Place winners of the Overall Performance prizes. If there is a tie in the scores for any prize, Sponsor will rank the systems based on their Tournament Period performance. Sponsor’s decisions are final and binding in all matters relating to this Competition, including the determination of prize winners.

First-Place Overall Performance Model (1 winner): The Entrant Team that receives the highest rank for a model will receive $250,000 U.S. dollars divided equally among all members of that Entrant Team.
Second-Place Overall Performance Model (1 winner): The Entrant Team that receives the second highest rank for a model will receive $100,000 U.S. dollars awarded in the form of checks divided equally among all members of that Entrant Team.
First-Place Overall Performance Red-Teaming System (1 winner): The Entrant Team that receives the highest rank for a red-teaming system will receive $250,000 U.S. dollars awarded in the form of checks divided equally among all members of that Entrant Team.
Second-Place Overall Performance Red-Teaming System (1 winner): The Entrant Team that receives the second highest rank for a red-teaming system will receive $100,000 U.S. dollars awarded in the form of checks divided equally among all members of that Entrant Team.

Prize Conditions: Prizes are non-transferable except as directed by Sponsor. No prize substitutions allowed. Except where prohibited by law, all federal, state, provincial, or other tax liabilities are the responsibility of the prize winners, Sponsor will not be responsible for any tax deductions which may be necessary, and Sponsor reserves the right to withhold taxes as required by law. Prize winners will be responsible for paying all costs and expenses related to the prize that are not specifically mentioned, including, but not limited to, taxes, withholdings, and any other expenses that might reasonably be incurred by the winner in receiving or using the prize. All prizes awarded will be subject to any taxes Sponsor is required by law to withhold as well as applicable sales, use, gross receipts, goods and service, or similar transaction-based taxes. IF TAXES ARE APPLICABLE TO THE PRIZE(S), IT IS THE RESPONSIBILITY OF THE WINNER TO PAY TO THE APPROPRIATE AUTHORITIES. PAYMENTS TO COMPETITION WINNERS ARE SUBJECT TO THE EXPRESS REQUIREMENT THAT THE WINNER SUBMIT TO SPONSOR ALL DOCUMENTATION REQUESTED BY SPONSOR (INCLUDING FORMS W-9 OR W-8BEN AS REQUESTED BY SPONSOR) TO PERMIT COMPLIANCE WITH ALL APPLICABLE STATE, FEDERAL, LOCAL AND FOREIGN (INCLUDING PROVINCIAL) TAX REPORTING AND WITHHOLDING REQUIREMENTS. Prize winners are responsible for ensuring that the tax documentation submitted to Sponsor complies with all applicable tax laws and requirements. If a winner fails to provide the documentation or submits incomplete documentation, the prize may be forfeited and Sponsor may, in its sole discretion, select an alternate winner. Sponsor will divide all awards that are payable to any Entrant Team evenly among the Entrant Team members and distribute accordingly. Designation as a prize winner is subject to Entrant’s proof of compliance with these Official Rules, maintaining compliance with these Official Rules and approval by Sponsor. All details of prizes not specified herein shall be determined solely by Sponsor.

PRIVACY: Entrants and Faculty Advisors acknowledge and agree that Sponsor may collect, store, share, and otherwise use personally identifiable information provided during the application process and the Competition, including, but not limited to, name, mailing address, phone number, and email address. All personally identifiable information collected is subject to and will be used in accordance with Sponsor’s Privacy Notice (www.amazon.com/privacy) and YouNoodle’s Privacy Policy (www.younoodle.com/privacy), including for administering the Competition and verifying Entrants’ and Faculty Advisors’ identities, addresses, and telephone numbers in the event an entry qualifies for a prize. YouNoodle’s servers are located in the United States. By participating in this Competition, Entrants and Faculty Advisors authorize the transfer of personal data to the United States for purposes of administering the Competition, conducting publicity about the Competition, and additional purposes consistent with Sponsor’s goals or the Competition goals. By entering the Competition, Entrants and Faculty Advisors consent to Sponsor’s and YouNoodle’s collection, and Sponsor’s use and disclosure of entrants’ personally identifiable information for these purposes. The data controller for information collected by Sponsor is Amazon.com Services LLC, 410 Terry Ave North, Seattle, Washington 98109, USA.

INTELLECTUAL PROPERTY: By entering the Competition, each Entrant and Entrant Team represents and warrants that he or she has obtained all of the rights, licenses, and permissions in writing that are otherwise necessary for the Entrant Team to operate or distribute the model or red-teaming system and to grant to Sponsor the licenses set forth in these Official Rules and in the Developer Agreement. Entrants MAY NOT submit models or red-teaming systems created by any person other than themselves or their Entrant Team members.

As between Sponsor and Entrant Teams, models or red-teaming systems created by Entrant Teams will remain the property of the respective Entrant Teams or their University, excluding any Program Materials or Restricted Program Materials incorporated in the systems, which will remain the property of Sponsor. All output generated by any model or red-teaming system during the course of the Competition will be the property of Sponsor, and Entrant Teams will have limited rights to use the output for the sole purpose of improving or training their modes or systems for the purpose of this Competition. By submitting a model or red-teaming system in this Competition, each Entrant and Entrant Team represents and warrants that they own, or otherwise have the right to use and license, all of the intellectual property and other rights in and to the model or red-teaming system. Each Entrant and Entrant Team hereby grants Sponsor and its affiliates a non-exclusive, perpetual, irrevocable, worldwide, and royalty-free license to make, have made, use, sell, offer for sale, import, export, license, exploit, promote, reproduce, make available, publicly display, publicly perform, create derivative works of, and otherwise exercise all intellectual property and other rights in and to any concepts, works, inventions, information, designs, programs, software, or other materials that the Entrant or Entrant Team develops or submits in connection with the Competition or the creation of the model or red-teaming system, including any of the foregoing included or described in any Technical Article or other materials provided to Sponsor. In addition, upon Sponsor’s request, all Entrants and Entrant Teams must provide Sponsor all source code and algorithms developed in connection with the Competition. Each Entrant agrees to do or perform, or cause to be done and performed, all such further acts and things, and execute and deliver all such other agreements, certificates, instruments, and documents as Sponsor may reasonably request in order to carry out the intent and accomplish the purposes of the foregoing license.

Except where prohibited, each Entrant and Entrant Team further consents (and agrees to sign any additional documents required by Sponsor to formalize, effect, or perfect such consent) to Competition Entities’ model or red-teaming systems pursuant to these Official Rules and the use of any Entrant or Entrant Team names, likeness, biographical information, and voice in advertising, publicity, trade, and other marketing and promotional materials (including video, audio, and print through all means of distribution) worldwide without compensation, notice, or approval, and disclaims any ownership rights to the content of such materials.

Waiver, Release, and Limitation of Liability
EACH ENTRANT ACCEPTS THE CONDITIONS STATED IN THESE OFFICIAL RULES, AGREES TO BE BOUND BY THE DECISIONS OF SPONSOR, WARRANTS THAT THE ENTRANT IS ELIGIBLE TO PARTICIPATE IN THIS COMPETITION, AND AGREES TO RELEASE, INDEMNIFY, AND HOLD HARMLESS THE COMPETITION ENTITIES AND THE PERSONNEL OF EACH FROM AND AGAINST ANY AND ALL CLAIMS, LOSSES, LIABILITY, AND DAMAGES OF ANY KIND (INCLUDING REASONABLE ATTORNEYS’ FEES AND EXPENSES) ASSERTED AGAINST ANY OF THEM, INCURRED OR SUSTAINED IN CONNECTION WITH OR ARISING OUT OF ENTRANT’S PARTICIPATION IN THIS COMPETITION OR ANY TRAVEL OR OTHER ACTIVITY RELATED THERETO, USE OF ANY MODEL OR RED-TEAMING SYSTEM OR RIGHTS THEREIN, OR BREACH OF ANY AGREEMENT OR WARRANTY ASSOCIATED WITH THE COMPETITION, INCLUDING THESE OFFICIAL RULES. ANY ATTEMPT TO DELIBERATELY DAMAGE ANY WEBSITE OR UNDERMINE THE LEGITIMATE OPERATION OF THE COMPETITION MAY BE A VIOLATION OF CRIMINAL AND CIVIL LAWS AND, SHOULD SUCH AN ATTEMPT BE MADE, THE COMPETITION ENTITIES AND EACH OF THEIR LICENSEES RESERVE THE RIGHT TO SEEK ANY AND ALL REMEDIES AVAILABLE FROM ANY PERSONS RESPONSIBLE FOR ANY SUCH ATTEMPT TO THE FULLEST EXTENT PERMITTED BY LAW.

Each Entrant hereby acknowledges and agrees that the relationship between themselves and the Competition Entities is not a confidential, fiduciary, or other special relationship, and that the Entrant’s decision to provide the entry to Sponsor for purposes of the Competition does not place the Competition Entities in a position that is any different from the position held by members of the general public with regard to elements of the entry, other than as set forth in these Official Rules. Each Entrant understands and acknowledges that the Competition Entities have wide access to the models, technology, designs, and other materials, and that new ideas are constantly being submitted to them or being developed by their own employees. Each Entrant also acknowledges that many ideas may be competitive with, similar to, or identical to the model or red-teaming system submission in theme, idea, format, or other respects. Each Entrant acknowledges and agrees that such Entrant will not be entitled to any compensation as a result of Competition Entities' use of any such similar or identical material that has or may come to Competition Entities, or any of them, from other sources. Entrants acknowledge that other Entrants and Entrant Teams may have created ideas and concepts contained in their model or red-teaming system's design that may have familiarities or similarities to their system's design, and that they will not be entitled to any compensation or right to negotiate with the Competition Entities because of these familiarities or similarities.

Entrants further agree that the Competition Entities are not responsible for the following: (a) electronic transmissions, model or red-teaming system, entries, or notifications that are lost, late, stolen, incomplete, damaged, garbled, destroyed, misdirected, or not received by Sponsor or their agents for any reason; (b) any problems or technical malfunctions, errors, omissions, interruptions, deletions, defects, delays in operation or transmission, communication failures, and/or human error that may occur in the transmission, shipping errors or delays, receipt or processing of entries or related materials; or for destruction of or unauthorized access to, or alteration of, entries or related material; (c) failed or unavailable hardware, network, software, or telephone transmissions, damage to Entrants’ or any person’s computer and/or its contents related to or resulting from participation in this Competition; (d) causes that jeopardize the administration, security, fairness, integrity, or proper conduct of this Competition; (e) any entries submitted in a manner that is not expressly allowed under these Official Rules (all such entries will be disqualified); or (f) any printing errors in these Official Rules or in any advertisements or correspondence in connection with this Competition or the tabulation of Interaction Ratings or scores. Sponsor reserves the right, in its sole discretion, to cancel or suspend this Competition should virus, bugs, fraud, hacking, or other causes corrupt the administration, security, or proper play of the Competition, or in the event Sponsor does not receive a minimum of two qualified entries from separate eligible Entrant Teams. Sponsor further reserves the right, in its sole discretion, to cancel or suspend this Competition or to reschedule or reformat events, including without limitation the Summit or Finals Event, should Sponsor be prevented, in any manner whatsoever, from holding this Competition or any event due to any present or future law (whether or not valid); any act of God, earthquake, fire, flood, epidemic (including, without limitation, any pandemic), accident, explosion or casualty; any civil disturbance or armed conflict; or any other cause of any similar nature outside of Sponsor’s control. In all such cases, notice to this effect will be posted on the Competition Site and prizes to the extent awarded will be awarded as determined by Sponsor prior to cancellation. If, in Sponsor’s opinion, there is any suspected or actual evidence of electronic or non-electronic tampering with any portion of the Competition or if technical difficulties compromise the integrity of the Competition, the Sponsor reserves the right to void suspect entries and/or terminate the Competition and determine whether to award prizes in its sole discretion. Sponsor reserves the right, in its sole discretion, to disqualify any individual found by Sponsor to have tampered with the entry process or entry materials, otherwise interfered with the proper administration of the Competition, or violated these Official Rules.

DISPUTES: Except where prohibited, you agree that: (1) any and all disputes, claims, and causes of action arising out of or connected with this Competition or any prize awarded shall be resolved individually, without resort to any form of class action; (2) any and all claims, judgments, and awards shall be limited to actual out-of-pocket costs incurred, including costs associated with entering this Competition, but in no event attorneys’ fees; (3) the Competition Entities shall not be liable for, under no circumstances will you be permitted to obtain awards for, and you hereby waive all rights to claim, indirect, punitive, incidental, and consequential damages and any other damages (other than for actual out-of-pocket expenses), and any and all rights to have damages multiplied or otherwise increased. All issues and questions concerning the construction, validity, interpretation, and enforceability of these Official Rules, or the rights and obligations of the Entrant and Sponsor in connection with the Competition, shall be governed by, and construed in accordance with, the laws of the State of Washington without giving effect to any choice of law or conflict of law rules (whether of the State of Washington or any other jurisdiction), which would cause the application of the laws of any jurisdiction other than the State of Washington. You irrevocably submit to venue and exclusive personal jurisdiction in the federal and state courts in Seattle, King County, Washington, USA, for any dispute arising under these Official Rules or in connection with the Competition, and you waive all objections to jurisdiction and venue of such courts.

SPONSOR: Amazon.com Services LLC, 410 Terry Ave North, Seattle, Washington 98109, USA.

US, WA, Bellevue
Welcome to the Worldwide Returns & ReCommerce team (WWR&R) at Amazon.com. WWR&R is an agile, innovative organization dedicated to ‘making zero happen’ to benefit our customers, our company, and the environment. Our goal is to achieve the three zeroes: zero cost of returns, zero waste, and zero defects. We do this by developing groundbreaking products and driving truly innovative operational excellence to help customers keep what they buy, recover returned and damaged product value, keep thousands of tons of waste from landfills, and create the best customer returns experience in the world. We have an eye to the future – we create long-term value at Amazon by focusing not just on the bottom line, but on the planet. We are building the most sustainable re-use channel we can by driving multiple aspects of the Circular Economy for Amazon – Returns & ReCommerce. Amazon WWR&R is comprised of business, product, operational, program, software engineering and data teams that manage the life of a returned or damaged product from a customer to the warehouse and on to its next best use. Our work is broad and deep: we train machine learning models to automate routing and find signals to optimize re-use; we invent new channels to give products a second life; we develop highly respected product support to help customers love what they buy; we pilot smarter product evaluations; we work from the customer backward to find ways to make the return experience remarkably delightful and easy; and we do it all while scrutinizing our business with laser focus. You will help create everything from customer-facing and vendor-facing websites to the internal software and tools behind the reverse-logistics process. You can develop scalable, high-availability solutions to solve complex and broad business problems. We are a group that has fun at work while driving incredible customer, business, and environmental impact. We are backed by a strong leadership group dedicated to operational excellence that empowers a reasonable work-life balance. As an established, experienced team, we offer the scope and support needed for substantial career growth. Amazon is earth’s most customer-centric company and through WWR&R, the earth is our customer too. Come join us and innovate with the Amazon Worldwide Returns & ReCommerce team! Key job responsibilities * Design, develop, and evaluate highly innovative models for Natural Language Programming (NLP), Large Language Model (LLM), or Large Computer Vision Models. * Use SQL to query and analyze the data. * Use Python, Jupyter notebook, and Pytorch to train/test/deploy ML models. * Use machine learning and analytical techniques to create scalable solutions for business problems. * Research and implement novel machine learning and statistical approaches. * Mentor interns. * Work closely with data & software engineering teams to build model implementations and integrate successful models and algorithms in production systems at very large scale. A day in the life If you are not sure that every qualification on the list above describes you exactly, we'd still love to hear from you! At Amazon, we value people with unique backgrounds, experiences, and skillsets. If you’re passionate about this role and want to make an impact on a global scale, please apply! Benefits: Amazon offers a full range of benefits that support you and eligible family members, including domestic partners and their children. Benefits can vary by location, the number of regularly scheduled hours you work, length of employment, and job status such as seasonal or temporary employment. The benefits that generally apply to regular, full-time employees include: 1. Medical, Dental, and Vision Coverage 2. Maternity and Parental Leave Options 3. Paid Time Off (PTO) 4. 401(k) Plan Learn more about our benefits here: https://amazon.jobs/en/internal/benefits/us-benefits-and-stock About the team When a customer returns a package to Amazon, the request and package will be passed through our WWRR machine learning (ML) systems so that we could improve the customer experience, identify return root cause, optimize re-use, and evaluate the returned package. Our problems touch multiple modalities spanning from: textual, categorical, image, to speech data. We operate at large scale and rely on state-of-the-art modeling techniques to power our ML models: XGBoost, BERT, Vision Transformers, Large Language Models.
US, CA, Santa Clara
Amazon CloudWatch is the native AWS monitoring and observability service for cloud resources and applications. We are seeking a talented Senior Applied Scientist to develop next-generation scientific methods and infrastructure to support a core AWS business that delivers critical services to millions of customers operating at scale. This is a high visibility and high impact role that work on highly strategic projects in the AI/ML and Analytics space, will interact with all levels of AWS leadership. We are developing solutions that not only surface the “what” but also the “why” and “how to fix it”, without requiring operators to have extensive domain knowledge and technical expertise to efficiently troubleshoot and remediate incidents. Using decades of AWS operational excellence coupled with the advances in LLMs and Gen-AI technologies, we are transforming the very core of how customers can effortlessly interact with our offerings to build and operate their applications in the cloud. We are hiring to grow our team, and are looking for well-rounded applied scientists with backgrounds in machine learning, foundation models, and natural language processing. You'll be working with talented scientists, engineers, and product managers to innovate on behalf of our customers. If you're fired up about being part of a dynamic, mission driven team, then this is your moment to join us on this exciting journey! Key job responsibilities As an Applied Scientist II you will be responsible for * Research and development of algorithms that improve training of foundation models across pre-training, multitask learning, supervised finetuning, and reinforcement learning from human feedback * Research and development of novel approaches for anomaly detection, root cause analysis, and provide intelligent insights from vast amounts of monitoring and observability data * Collaborating with scientists, engineers, and Product Managers across CloudWatch team as well as directly with customers * Lead key science initiatives in strategic investment areas of AI/ML/LLM Ops and Observability * Be an industry thought leader representing Amazon at top-tier scientific conferences * Engaging in the hiring process and developing, growing, and mentoring junior scientists A day in the life Working closely with and across agile teams, you will be able to see and feel the impact of your work on our customers. This is a high visibility and high impact role that will interact with all levels of AWS leadership. Our ideal candidate is excited about the incredible opportunity that cloud monitoring represents and is deeply passionate about delivering the highest quality services leveraging AI/ML/LLMs. You’re naturally customer centric and thrive in a fast-paced environment that requires strong technical and business judgment and solid communication skills. About the team Amazon CloudWatch Logs is a core monitoring service used by millions of AWS customers. We move fast and have delivered remarkable products and features over the last few years to streamline how AWS customers troubleshoot their critical applications. Our mission is to be the most cost effective, integrated, fast, and secure logs management and analytics platform for AWS customers. We are a diverse group of product and engineering professionals that are passionate about delivering logging features that delight customers operating at any scale. Why AWS Amazon Web Services (AWS) is the world’s most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating — that’s why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses. Utility Computing (UC) AWS Utility Computing (UC) provides product innovations — from foundational services such as Amazon’s Simple Storage Service (S3) and Amazon Elastic Compute Cloud (EC2), to consistently released new product innovations that continue to set AWS’s services and features apart in the industry. As a member of the UC organization, you’ll support the development and management of Compute, Database, Storage, Internet of Things (IoT), Platform, and Productivity Apps services in AWS, including support for customers who require specialized security solutions for their cloud services. Inclusive Team Culture Here at AWS, it’s in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences, including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences, inspire us to never stop embracing our uniqueness. Work/Life Balance We value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home, which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home, there’s nothing we can’t achieve in the cloud. Mentorship and Career Growth We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional. Diverse Experiences Amazon values diverse experiences. Even if you do not meet all of the preferred qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn’t followed a traditional path, or includes alternative experiences, don’t let it stop you from applying.
US, MA, Boston
The Automated Reasoning Group is looking for a Applied Scientist with expertise in programming language semantics and deductive verification techniques (e.g. Lean, Dafny) to deliver novel code reasoning capabilities at scale. You will be part of a larger organization that develops a spectrum of formal software analysis tools and applies them to software at all levels of abstraction from assembler through high-level programming languages. You will work with a team of world class automated reasoning experts to deliver code reasoning technology that is accessible to all developers.
NL, Amsterdam
Are you interested in creating a large business impact on millions of customers through the use of machine learning and analytics? We are seeking an Data Scientist to join our PriMA (Prime & Marketing) science team to model customer behavior, improve the engagement of our existing customers, and help us grow our customer base. In this role, you will collaborate with cross-functional teams and stakeholders to solve problems, and you will regularly interact with software engineering teams and business leadership. Some of the technical challenges you will contribute in this role are: - Measuring marketing campaigns across external marketing channels (Youtube, TikTok, Google,....) - Modeling the causal impact that some actions have over customers. - Building better product recommendation for deals and promotions at Amazon Key job responsibilities - Develop accurate and scalable data science models to address business use cases ranging from: analyzing customer behavior, building recommender systems to increase engagement, or measuring the impact of marketing channels. - Partner with engineers and applied scientists to implement data science solutions for complex business problems, guiding the application of best practices in data analysis, statistical modeling, and machine learning. - Lead comprehensive data analyses to provide insights and recommendations that help management and business stakeholders make key strategic decisions. About the team The PRIMAS (Prime & Marketing Analytics and Science) is the team that support the science & analytics needs of the EU Prime and Marketing organization, an org that supports the Prime and Marketing programs in European marketplaces and comprises 250-300 employees. The PRIMAS team, is part of a larger tech tech team of 50 people (comprising other job families like SDEs) that gives support to all the tech needs of the Prime & marketing org.
BR, SP, Sao Paulo
Esta é uma posição de colaborador individual, com base em nosso escritório de São Paulo. Procuramos uma pessoa dinâmica, analítica, inovadora, orientada para a prática e com foco inabalável no cliente. Na Amazon, nosso objetivo é exceder as expectativas dos clientes, garantindo que seus pedidos sejam entregues com máxima rapidez, precisão e eficiência de custo. A determinação da rota de cada pacote é realizada por sistemas complexos, que precisam acompanhar o crescimento acelerado e a complexidade da malha logística no Brasil. Diante desse cenário, a equipe de Otimização de Supply Chain está à procura de um cientista de dados experiente, capaz de desenvolver modelos, ferramentas e processos para garantir confiabilidade, agilidade, eficiência de custos e a melhor utilização dos ativos. O candidato ideal terá sólidas habilidades quantitativas e experiência com conjuntos de dados complexos, sendo capaz de identificar tendências, inovar processos e tomar decisões baseadas em dados, considerando a cadeia de suprimentos de ponta a ponta. Key job responsibilities * Executar projetos de melhoria contínua na malha logística, aproveitando boas práticas de outros países e/ou desenvolvendo novos modelos. * Desenvolver modelos de otimização e cenários para planejamentos logísticos. * Criar modelos de otimização voltados para a execução de eventos e períodos de alta demanda. Automatizar processos manuais para melhorar a produtividade da equipe. * Auditar operações, configurações sistêmicas e processos que possam impactar custos, produtividade e velocidade de entregas. * Realizar benchmarks com outros países para identificar melhores práticas e processos avançados, conectando-os às operações no Brasil. About the team Nosso time é composto por engenheiros de dados, gerentes de projetos e cientistas de dados, todos dedicados a criar soluções escaláveis e inovadoras que suportem e otimizem as operações logísticas da Amazon no Brasil. Nossa missão é garantir a eficiência de todas as etapas da cadeia de suprimentos, desde a primeira até a última milha, ajudando a Amazon a entregar resultados com agilidade, precisão e a um custo competitivo, especialmente em um ambiente de rápido crescimento e complexidade.
US, CA, San Francisco
We are hiring an Economist with the ability to disambiguate very challenging structural problems in two and multi-sided markets. The right hire will be able to get dirty with the data to come up with stylized facts, build reduced form model that motivate structural assumptions, and build to more complex structural models. The main use case will be understanding the incremental effects of subsidies to a two sided market relate to sales motions characterized by principal agent problems. Key job responsibilities This role with interface directly with product owners, scientists/economists, and leadership to create multi-year research agendas that drive step change growth for the business. The role will also be an important collaborator with other science teams at AWS. A day in the life Our team takes big swings and works on hard cross organizational problems where the optimal success rate is not 100%. We also ask people to grow their skills and stretch and make sure we do it in a supportive and fun environment. It’s about empirically measured impact, advancement, and fun on our team. We work hard during work hours but we also don’t encourage working at nights or on weekends except in very rare, high stakes cases. Burn out isn’t a successful long run strategy. Because we invest in the long run success of our group it’s important to have hobbies, relax and then come to work refreshed and excited. It makes for bigger impact, faster skill accrual and thus career advancement. About the team Our group is technically rigorous and encourages ongoing academic conference participation and publication. Our leaders are here for you and to enable you to be successful. We believe in being servant leaders focused on influence: good data work has little value if it doesn’t translate into actionable insights that are rolled out and impact the real economy. We are communication centric since being able to explain what we do ensures high success rates and lowers administrative churn. Also: we laugh a lot. If it’s not fun, what’s the point?
US, CA, San Diego
Do you want to be part of the team developing the future technology that impacts the customer experience of ground-breaking products? Then come join us and make history. We are looking for a passionate, talented, and inventive Applied Scientist with a background in AI, Gen AI, Machine Learning, NLP, to help build LLM solutions for Amazon core shopping. As an Applied Scientist, you will be working closely with a team of applied scientists and engineers to build systems that shape the future of Amazon's by automatically generating relevant content and building a whole page experience that is coherent, dynamic, and interesting. You will improve ranking and optimization in our algorithm. You will participate in driving features from idea to deployment, and your work will directly impact millions of customers.
US, WA, Seattle
Amazon is the 4th most popular site in the US. Our product search engine is one of the most heavily used services in the world, indexes billions of products, and serves hundreds of millions of customers world-wide. We are working on a new AI-first initiative to re-architect and reinvent the way we do search through the use of extremely large scale next-generation deep learning techniques. Our goal is to make step function improvements in the use of advanced Machine Learning (ML) on very large scale datasets, specifically through the use of aggressive systems engineering and hardware accelerators. This is a rare opportunity to develop cutting edge ML solutions and apply them to a problem of this magnitude. Some exciting questions that we expect to answer over the next few years include: - Can combining supervised multi-task training with unsupervised training help us to improve model accuracy? - Can we transfer our knowledge of the customer to every language and every locale ? - Can we build foundational ML models that can serve different business lines. This is a unique opportunity to get in on the ground floor, shape, and build the next-generation of Amazon ML. We are looking for exceptional scientists and ML engineers who are passionate about innovation and impact, and want to work in a team with a startup culture within a larger organization. Key job responsibilities Train large deep learning models with hundreds of billions parameters. Build foundational ML models that can be applied to different business applications in Amazon such as Search and Ads. Areas of interest include efficient model architecture, training and data optimization/scaling, model/data/pipeline parallel techniques, and much more.
US, WA, Bellevue
Ring is looking for a Senior Applied Science Manager to lead the development of computer vision algorithm on the Edge. In this role, you will be the leader of our passionate, talented, and inventive scientists, to develop industry-leading Computer Vision (CV), Multimodal, and AI and drive them successfully to production for the benefit of millions of Amazon Devices users. This is a unique, high visibility opportunity for a leader who wants to have business impact, and dive deep into computer vision problems. We are particularly interested in candidates with experience productizing edge-based computer vision systems. Key job responsibilities As a Senior Manager, Applied Science, you bring structure to ambiguous business problems and use science, logic, and practical experience to decompose them into straightforward, scalable solutions. You set the standard for scientific excellence and make decisions that affect the way we build and integrate algorithms. Your solutions are exemplary in terms of algorithm design, clarity, model structure, efficiency, and extensibility. You tackle intrinsically hard problems; you're interested in learning; and you acquire skills and expertise as needed. The ideal candidate is a strong, creative and highly-motivated Scientist with hands-on experience in leading multiple research and engineering initiatives. You balance technical leadership with strong business judgment to make the right decisions about technology, tools, and methodologies.
US, MA, Boston
The Automated Reasoning Group is looking for a Applied Scientist with expertise in programming language semantics and deductive verification techniques (e.g. Lean, Dafny) to deliver novel code reasoning capabilities at scale. You will be part of a larger organization that develops a spectrum of formal software analysis tools and applies them to software at all levels of abstraction from assembler through high-level programming languages. You will work with a team of world class automated reasoning experts to deliver code reasoning technology that is accessible to all developers.