The Automated Reasoning Group is looking for a Senior 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 powerful yet accessible to all developers.About the teamAWS 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.Diverse ExperiencesAWS values diverse experiences. Even if you do not meet all of the 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. 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.Inclusive Team CultureHere 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.Mentorship & Career GrowthWe’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. Work/Life BalanceWe 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. Hybrid WorkWe value innovation and recognize this sometimes requires uninterrupted time to focus on a build. We also value in-person collaboration and time spent face-to-face. Our team affords employees options to work in the office every day or in a flexible, hybrid work model near one of our U.S. Amazon offices.BASIC QUALIFICATIONS- PhD, or Master's degree and 6+ years of applied research experience- Experience programming in Java, C++, Python or related language- Experience in formal verification tools and techniques, such as theorem provers (Dafny, Lean), SAT-SMT solversPREFERRED QUALIFICATIONS- PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative field- Experience with neural deep learning methods and machine learning- Experience in compiler technologiesAmazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with disabilities who would like to request an accommodation, please visit https://www.amazon.jobs/en/disability/us.

ADVANCING OUR OPERATIONSIn order for us to complete our missions, our technology simply cannot fail. Covering a wide range of specialties ranging from aeronautical and computer systems to flight test and mechanical, Developmental Engineers provide advanced skill and knowledge of their particular specialties. Responsible for everything from the planning to implementation of their projects, these experts are essential to the success of operations all over the world.REQUIREMENTSYou must meet several requirements before joining the Air Force. These concern your background, overall health and other standards set by the Air Force, Department of Defense and federal law.Minimum EducationBachelor’s degree in engineering related to one of the following specialties: aerospace, aeronautical, astronautical, computer, electrical, electronics, communication or mechanicalQualificationsCompletion of the Defence Acquisition UniversityFundamentals of SystemsAcquisition Management course or Acquisition Fundamentals courseCompletion of the Air Force Flight Test Engineer course or comparableMinimum of 24 months of experience in qualified position or a master’s degree in a specified discipline and 12 months’ experience or a Doctor of Philosophy degree in a specified disciplineCompletionof Officer Training School (OTS), AirForce Academy (AFA) or AirForce Reserve Officer Training Corps (AFROTC)Must be between the ages of 18 and have not reached your 42ndbirthday

Additional InformationBonus EligibleJob Number24190562Job CategoryEngineering & FacilitiesLocationAloft Providence Downtown, 191 Dorrance Street, Providence, Rhode Island, United States, 02903VIEW ON MAPScheduleFull TimeLocated Remotely NPosition Type ManagementJOB SUMMARYBonus EligibleManages all engineering/maintenance operations, including maintaining the building, grounds and physical plant with particular attention towards safety, security and asset protection. Accountable for managing the budget, capital expenditure projects, preventative maintenance and energy conservation. Responsible for maintaining regulatory requirements. Leads the emergency response team for all facility issues.CANDIDATE PROFILEEducation and Experience• High school diploma or GED; 4 years experience in the engineering and maintenance or related professional area; technical training in HVAC-R/electrical/plumbing.OR• 2-year degree from an accredited university in Building and Construction, Engineering, Mechanics, or related major; 2 years experience in the engineering and maintenance or related professional area; technical training in HVAC-R/electrical/plumbing.CORE WORK ACTIVITIESManaging Property Operations and Engineering Budgets• Supervises Engineering in the absence of the Director of Engineering.• Assists in managing the physical plant including equipment, refrigeration, HVAC, plumbing, water treatment, electrical and life safety systems.• Maintains and operates equipment at optimum effectiveness, efficiency and safety.• Establishes and manages an effective rooms maintenance program.• Ensures compliance with all Engineering departmental policies, standards and procedures.• Manages department's controllable expenses to achieve or exceed budgeted goals.• Select and order or purchase new equipment, supplies, and furnishings.• Inspect and evaluate the physical condition of facilities in order to determine the type of work required.• Recommend or arrange for additional services such as painting, repair work, renovations, and the replacement of furnishings and equipment.• Supervises the day to day operations of Engineering.Maintaining Property Standards• Maintains accurate logs and records as required.• Assists in effectively planning, scheduling and evaluating preventative maintenance programs.Providing Exceptional Customer Service• Handles guest problems and complaints effectively.• Empowers employees to provide excellent customer service.• Displays leadership in guest hospitality by exemplifying excellent customer service and creating a positive atmosphere for guest relations.Managing Profitability• Helps establish priorities for total property maintenance needs.• Ensures on-going communication occurs in all areas of responsibility to create awareness of business objectives, awareness of expectations and recognition of exemplary performance.Managing and Conducting Human Resources Activities• Celebrates successes and publicly recognizes the contributions of team members.• Establishes and maintains open, collaborative relationships with employees.• Ensures employees are treated fairly and equitably.• Strives to improve service performance.• Provides feedback to employees based on observation of service behaviors.• Supervises employee's ability to execute departmental and property emergency procedures.• Reviews employee satisfaction results to identify and address employee problems or concerns.• Solicits employee feedback.• Helps ensure regulatory compliance to facility regulations and safety standards.• Ensures disciplinary procedures and documentation are completed according to Standard and Local Operating Procedures (SOPs and LSOPs) and support the Peer Review Process.• Ensures property policies are administered fairly and consistently.The salary range for this position is $66,000 to $87,000 annually. Marriott offers a bonus program, comprehensive health care benefits, 401(k) plan with up to 5% company match, employee stock purchase plan at 15% discount, accrued paid time off (including sick leave where applicable), life insurance, group disability insurance, travel discounts, adoption assistance, paid parental leave, health savings account (except for positions based out of or performed in Hawaii), flexible spending accounts, tuition assistance, pre-tax commuter benefits, other life and work wellness benefits, and may include other incentives such as stock awards and deferred compensation plans. Benefits and incentive compensation may be subject to generally applicable eligibility, waiting period, contribution, and other requirements and conditions. The compensation and benefits information is provided as of the date of this posting. Marriott reserves the right to modify compensation and benefits at any time, with or without notice, subject to applicable law.Marriott International is an equal opportunity employer.We believe in hiring a diverse workforce and sustaining an inclusive, people-first culture.We are committed to non-discrimination onanyprotectedbasis, such as disability and veteran status, or any other basis covered under applicable law.At Aloft, we aren’t your typical hotelbut we aren’t too cool for school either. We’re here to be our guests’ launching and landing pad. Whether they are taking their dog for a walk and coming back for a drink, wrapping up a day of meetings with coworkers, or they’re in town to see family, friends, or their favorite band, we offer a hub for connection to others and the area around them, with modern design and personality to boot. We’re looking for confident self-expressers who aren’t afraid to draw outside the lines. If you are someone who gets excited about the possibilities to connect with others, then Aloft Hotels is the place for you. In joining Aloft Hotels, you join a portfolio of brands with Marriott International. Be where you can do your best work, begin your purpose, belong to an amazing global team, and become the best version of you.

Description: Milton Hershey School (MHS) is one of the world's best private schools, where students in pre-K through 12th grade from disadvantaged backgrounds receive an exceptional career-focused education with housing, meals, and moreand all costs are covered. Thanks to the generosity of Milton and Catherine Hershey, who founded the school in 1909, the school is fully endowed and has the resources to ensure both students and staff are provided everything they need to thrive. MHS is hiring married couples to become flex houseparents. Flex houseparents are couples who reside in on-campus student homes, guiding and nurturing a group of approximately 8-12 students. Flex houseparents provide a consistent family-like structure for students and handle responsibilities such as driving, administering medication, budgeting, reporting, etc. When initially hired, flex houseparents cover different student homes before being assigned to one specific home. Benefits ·Salary of $43,825 per person (a total compensation package of approx. $150,000 per couple which includes free housing, meals while on duty, utilities, and more) ·Comprehensive benefits: medical, dental, and vision insurance; health savings and flexible spending accounts; life insurance; disability options; retirement savings ·Relocation assistance and paid training provided ·Schedule of nine days on followed by three days off. Workdays include a period of personal time while students are at school ·Three-week paid summer vacationQualifications: ·Experience working or volunteering with youth, preferably from under-served settings ·This is a two-person job for couples who have been legally married for at least two years ·Both spouses should be age 27 or older ·No more than three dependent children may reside in the student home ·Abide by a smoke-free and weapon-free campus. No alcohol is permitted while on duty ·Limitations on pets. Only fish and one dog of approved breeds is permitted ·Valid driver’s license; ability to become certified to drive student home vans ·Couples must be comfortable leading students in daily devotions and take students to Judeo-Christian Sunday chapel services (Note: Proselytizing is prohibited) ·High school diploma or GED required ·Must be able to lift up to 50 lbs. ·Candidates must demonstrate a high degree of integrity as all staff are role models for students. ·Both spouses must complete an individual employment application This is a unique career path that takes consideration and commitment from both spouses. If you have any specific questions before or after applying, please reach out to our recruitment team at .

Description: Milton Hershey School (MHS) is one of the world's best private schools, where students in pre-K through 12th grade from disadvantaged backgrounds receive an exceptional career-focused education with housing, meals, and moreand all costs are covered. Thanks to the generosity of Milton and Catherine Hershey, who founded the school in 1909, the school is fully endowed and has the resources to ensure both students and staff are provided everything they need to thrive. MHS is hiring married couples to become flex houseparents. Flex houseparents are couples who reside in on-campus student homes, guiding and nurturing a group of approximately 8-12 students. Flex houseparents provide a consistent family-like structure for students and handle responsibilities such as driving, administering medication, budgeting, reporting, etc. When initially hired, flex houseparents cover different student homes before being assigned to one specific home. Benefits ·Salary of $43,825 per person (a total compensation package of approx. $150,000 per couple which includes free housing, meals while on duty, utilities, and more) ·Comprehensive benefits: medical, dental, and vision insurance; health savings and flexible spending accounts; life insurance; disability options; retirement savings ·Relocation assistance and paid training provided ·Schedule of nine days on followed by three days off. Workdays include a period of personal time while students are at school ·Three-week paid summer vacationQualifications: ·Experience working or volunteering with youth, preferably from under-served settings ·This is a two-person job for couples who have been legally married for at least two years ·Both spouses should be age 27 or older ·No more than three dependent children may reside in the student home ·Abide by a smoke-free and weapon-free campus. No alcohol is permitted while on duty ·Limitations on pets. Only fish and one dog of approved breeds is permitted ·Valid driver’s license; ability to become certified to drive student home vans ·Couples must be comfortable leading students in daily devotions and take students to Judeo-Christian Sunday chapel services (Note: Proselytizing is prohibited) ·High school diploma or GED required ·Must be able to lift up to 50 lbs. ·Candidates must demonstrate a high degree of integrity as all staff are role models for students. ·Both spouses must complete an individual employment application This is a unique career path that takes consideration and commitment from both spouses. If you have any specific questions before or after applying, please reach out to our recruitment team at .

Description: Milton Hershey School (MHS) is one of the world's best private schools, where students in pre-K through 12th grade from disadvantaged backgrounds receive an exceptional career-focused education with housing, meals, and moreand all costs are covered. Thanks to the generosity of Milton and Catherine Hershey, who founded the school in 1909, the school is fully endowed and has the resources to ensure both students and staff are provided everything they need to thrive. MHS is hiring married couples to become flex houseparents. Flex houseparents are couples who reside in on-campus student homes, guiding and nurturing a group of approximately 8-12 students. Flex houseparents provide a consistent family-like structure for students and handle responsibilities such as driving, administering medication, budgeting, reporting, etc. When initially hired, flex houseparents cover different student homes before being assigned to one specific home. Benefits ·Salary of $43,825 per person (a total compensation package of approx. $150,000 per couple which includes free housing, meals while on duty, utilities, and more) ·Comprehensive benefits: medical, dental, and vision insurance; health savings and flexible spending accounts; life insurance; disability options; retirement savings ·Relocation assistance and paid training provided ·Schedule of nine days on followed by three days off. Workdays include a period of personal time while students are at school ·Three-week paid summer vacationQualifications: ·Experience working or volunteering with youth, preferably from under-served settings ·This is a two-person job for couples who have been legally married for at least two years ·Both spouses should be age 27 or older ·No more than three dependent children may reside in the student home ·Abide by a smoke-free and weapon-free campus. No alcohol is permitted while on duty ·Limitations on pets. Only fish and one dog of approved breeds is permitted ·Valid driver’s license; ability to become certified to drive student home vans ·Couples must be comfortable leading students in daily devotions and take students to Judeo-Christian Sunday chapel services (Note: Proselytizing is prohibited) ·High school diploma or GED required ·Must be able to lift up to 50 lbs. ·Candidates must demonstrate a high degree of integrity as all staff are role models for students. ·Both spouses must complete an individual employment application This is a unique career path that takes consideration and commitment from both spouses. If you have any specific questions before or after applying, please reach out to our recruitment team at .

Description: Milton Hershey School (MHS) is one of the world's best private schools, where students in pre-K through 12th grade from disadvantaged backgrounds receive an exceptional career-focused education with housing, meals, and moreand all costs are covered. Thanks to the generosity of Milton and Catherine Hershey, who founded the school in 1909, the school is fully endowed and has the resources to ensure both students and staff are provided everything they need to thrive. MHS is hiring married couples to become flex houseparents. Flex houseparents are couples who reside in on-campus student homes, guiding and nurturing a group of approximately 8-12 students. Flex houseparents provide a consistent family-like structure for students and handle responsibilities such as driving, administering medication, budgeting, reporting, etc. When initially hired, flex houseparents cover different student homes before being assigned to one specific home. Benefits ·Salary of $43,825 per person (a total compensation package of approx. $150,000 per couple which includes free housing, meals while on duty, utilities, and more) ·Comprehensive benefits: medical, dental, and vision insurance; health savings and flexible spending accounts; life insurance; disability options; retirement savings ·Relocation assistance and paid training provided ·Schedule of nine days on followed by three days off. Workdays include a period of personal time while students are at school ·Three-week paid summer vacationQualifications: ·Experience working or volunteering with youth, preferably from under-served settings ·This is a two-person job for couples who have been legally married for at least two years ·Both spouses should be age 27 or older ·No more than three dependent children may reside in the student home ·Abide by a smoke-free and weapon-free campus. No alcohol is permitted while on duty ·Limitations on pets. Only fish and one dog of approved breeds is permitted ·Valid driver’s license; ability to become certified to drive student home vans ·Couples must be comfortable leading students in daily devotions and take students to Judeo-Christian Sunday chapel services (Note: Proselytizing is prohibited) ·High school diploma or GED required ·Must be able to lift up to 50 lbs. ·Candidates must demonstrate a high degree of integrity as all staff are role models for students. ·Both spouses must complete an individual employment application This is a unique career path that takes consideration and commitment from both spouses. If you have any specific questions before or after applying, please reach out to our recruitment team at .

Description: Milton Hershey School (MHS) is one of the world's best private schools, where students in pre-K through 12th grade from disadvantaged backgrounds receive an exceptional career-focused education with housing, meals, and moreand all costs are covered. Thanks to the generosity of Milton and Catherine Hershey, who founded the school in 1909, the school is fully endowed and has the resources to ensure both students and staff are provided everything they need to thrive. MHS is hiring married couples to become flex houseparents. Flex houseparents are couples who reside in on-campus student homes, guiding and nurturing a group of approximately 8-12 students. Flex houseparents provide a consistent family-like structure for students and handle responsibilities such as driving, administering medication, budgeting, reporting, etc. When initially hired, flex houseparents cover different student homes before being assigned to one specific home. Benefits ·Salary of $43,825 per person (a total compensation package of approx. $150,000 per couple which includes free housing, meals while on duty, utilities, and more) ·Comprehensive benefits: medical, dental, and vision insurance; health savings and flexible spending accounts; life insurance; disability options; retirement savings ·Relocation assistance and paid training provided ·Schedule of nine days on followed by three days off. Workdays include a period of personal time while students are at school ·Three-week paid summer vacationQualifications: ·Experience working or volunteering with youth, preferably from under-served settings ·This is a two-person job for couples who have been legally married for at least two years ·Both spouses should be age 27 or older ·No more than three dependent children may reside in the student home ·Abide by a smoke-free and weapon-free campus. No alcohol is permitted while on duty ·Limitations on pets. Only fish and one dog of approved breeds is permitted ·Valid driver’s license; ability to become certified to drive student home vans ·Couples must be comfortable leading students in daily devotions and take students to Judeo-Christian Sunday chapel services (Note: Proselytizing is prohibited) ·High school diploma or GED required ·Must be able to lift up to 50 lbs. ·Candidates must demonstrate a high degree of integrity as all staff are role models for students. ·Both spouses must complete an individual employment application This is a unique career path that takes consideration and commitment from both spouses. If you have any specific questions before or after applying, please reach out to our recruitment team at .

Remote Licensed Psychiatric Nurse Practitioner Wage: Between $89-$203 an hour Are you a licensed Psychiatric Nurse looking to launch a private practice, or grow your existing practice Headway can help you earn more through insurance! Headway supports thousands of mental health clinicians across the United States in our mission to rewire the mental healthcare system for access and affordability. We equip mental health practitioners with the tools and resources they need to run a flourishing private practice. Mental health clinicians use Headway in a number of ways, ranging from conducting psychotherapy sessions with patients to providing and overseeing medication management. Whether you're new to private practice or already have an established practice of your own, we’re excited to support you in reaching your goals!By joining the Headway community, we’ll help you: Accept insurance hassle-free by credentialing you with the nation’s largest networks and handling the billing and admin paperwork for you.Maintain a flexible schedule by deciding how many clients you see through Headway, so that you can set the hours that work for you.Grow your caseload by providing marketing support and patient referrals. We’ll also support your patients by Providing customized support to clinicians and patients in order to streamline the process of both seeking and providing care.Verifying client insurance benefits instantly and automatically, so that access to care is never delayed, and you can see your patients with confidence. And we do this completely free of charge to you! Headways is a flexible service, meaning your hours are yours to set, and it’s up to you whether you see your patients in-person or remotely via telehealth while working from home.We accept the following licenses on a state by state basis: APRN-CNP / APRN-FPA / APRN-PAAPNPMHNP-BCNP Ready to get started We are excited to begin helping you if you are a fully-licensed, ANCC board-certified Psychiatric Nurse Practitioner with: A valid NPI numberMalpractice insuranceA DEA or CDS numberCAQH Please note, at this time, we are unable to service mental health professionals that are not fully licensed. Your application will be rejected until you obtain a valid license. Not sure if you’re qualified to work with us Send in your application and our team will do our best to help.

Remote Licensed Psychiatric Nurse Practitioner Wage: Between $89-$203 an hour Are you a licensed Psychiatric Nurse looking to launch a private practice, or grow your existing practice Headway can help you earn more through insurance! Headway supports thousands of mental health clinicians across the United States in our mission to rewire the mental healthcare system for access and affordability. We equip mental health practitioners with the tools and resources they need to run a flourishing private practice. Mental health clinicians use Headway in a number of ways, ranging from conducting psychotherapy sessions with patients to providing and overseeing medication management. Whether you're new to private practice or already have an established practice of your own, we’re excited to support you in reaching your goals!By joining the Headway community, we’ll help you: Accept insurance hassle-free by credentialing you with the nation’s largest networks and handling the billing and admin paperwork for you.Maintain a flexible schedule by deciding how many clients you see through Headway, so that you can set the hours that work for you.Grow your caseload by providing marketing support and patient referrals. We’ll also support your patients by Providing customized support to clinicians and patients in order to streamline the process of both seeking and providing care.Verifying client insurance benefits instantly and automatically, so that access to care is never delayed, and you can see your patients with confidence. And we do this completely free of charge to you! Headways is a flexible service, meaning your hours are yours to set, and it’s up to you whether you see your patients in-person or remotely via telehealth while working from home.We accept the following licenses on a state by state basis: APRN-CNP / APRN-FPA / APRN-PAAPNPMHNP-BCNP Ready to get started We are excited to begin helping you if you are a fully-licensed, ANCC board-certified Psychiatric Nurse Practitioner with: A valid NPI numberMalpractice insuranceA DEA or CDS numberCAQH Please note, at this time, we are unable to service mental health professionals that are not fully licensed. Your application will be rejected until you obtain a valid license. Not sure if you’re qualified to work with us Send in your application and our team will do our best to help.