Created in 2007 and introduced in Pennsylvania in 2018, The Woodrow Wilson Teaching Fellowship seeks to attract talented, committed STEM degree holders to teach in high-need middle and high schools. Fellows receive a $32,000 stipend, pursue a one-year master's degree program at a partner university, then teach for at least three years in an approved high-need school in Philadelphia or Pittsburgh. A unique aspect of our program is that mentoring is provided to support Fellows’ success in the classroom.

The Teaching Fellowship includes:

• admission to a master's degree program at one of three well-established partner universities
• teacher certification in science, mathematics, or technology education
• extensive preparation for teaching in a high-need urban or rural secondary school for one full year prior to becoming the teacher-of-record in a science or math classroom
• a $32,000 stipend (Once Fellows are certified teachers at the end of the first year, they obtain salaried employment in high-need schools.)
• after graduation, Fellows commit to teaching in a high-need urban or rural secondary school for three years
• PA Fellows who attend the University of Pennsylvania and West Chester University must seek positions in the School District of Philadelphia (SDP)
• PA Fellows who attend Duquesne University must seek positions in the Pittsburgh Public Schools (PPS) or the surrounding area
• support and mentoring throughout the three-year teaching commitment
• support of a cohort of WW Fellows passionate about science and math education
• lifelong membership in a national network of Woodrow Wilson Fellows who are intellectual leaders

 The Fellowship is open to college seniors, graduates, and career changers who:

• have majored in and/or have 30 or more college-level credits in a STEM field (science, technology, engineering, or math);
• demonstrate a commitment to the program and its goals;
• have U.S. citizenship or permanent residency;
• have attained, or expect to attain by Spring 2020, a bachelor's degree from an accredited U.S. college or university or its international equivalent (Note: Undergraduate degrees earned outside the U.S. are accepted if an approved credential evaluator declares the degree equivalent to an earned U.S. bachelor’s degree.);
• a cumulative undergraduate grade point average (GPA) of 3.0 or better on a 4.0 scale is preferred (Note: Candidates who can demonstrate excellence through other avenues will also be considered. All applications are considered in their entirety and selection is based on merit.)

Questions about your eligibility? Email Anna Gallos, Program Assistant for Fellow Selection (gallos@woodrow.org).

Research Experiences for Undergraduates (REU)

The University of Rochester is one of the smallest and most collegiate schools among the nation’s top research universities. Our goal is to develop students as researchers, collaborators, and mentors for academia and industry.

The Kearns Center provides academic advising and coordinates professional and social activities for many summer research programs within AS&E, including four National Science Foundation (NSF) REU programs:

• Advancing Human Health, From Nano to Network
• Computational Methods for Understanding Music, Media, and Minds
• Nano-, Bio-, and Quantum Photonics 
• Physics

Our best research students come through recommendations from faculty and fellow students who recognize talent at all levels.

NSF REU students receive:

• A $4,500 research stipend
• Round-trip travel/travel reimbursement
• On-campus housing and meal plan
• An assigned advisor and mentor
• GRE test preparation classes
• Graduate school preparation seminars
• Instruction in research methods
• One credit of academic coursework
• Complimentary tickets to local museums, sporting events, and/or concerts

The Advancing Human Health, from Nano to Network program is funded by the National Science Foundation (NSF) and is currently in a renewal year. Program operation for Summer 2020 is contingent upon successfully being renewed by the National Science Foundation. 

Register now at http://bit.ly/32X22q7

November 13, 2019 Noon to 3:00 pm EST

Join us from 12-3 p.m. EST Wednesday, November 13, 2019, for the Oak Ridge Institute for Science and Education (ORISE) Virtual Recruitment Fair showcasing more than twenty-five U.S. Department of Energy sponsored programs.

Discover opportunities for undergraduates, graduates, and postdocs. During the Virtual Recruitment Fair, you can interact with recruiters, scientists and researchers, and explore information about each program. Unable to attend? The event environment will remain open until November 17, 2019 for you to browse content, so register now!

Participating programs include:

• Advanced Short-Term Research Opportunity (ASTRO) at Oak Ridge National Laboratory (ORNL)
• Arctic Advanced Manufacturing Innovators
• Artificial Intelligence Summer Institute (AISI) at ORNL
• Building Technologies Internship Program (BTIP)
• Chain Reaction Innovations at Argonne National Laboratory
• Computational Science and Technology Advanced Research Studies (C-STARS) at ORNL
• Cyclotron Road at Lawrence Berkeley National Laboratory
• DOE Community College Internships (CCI)
• DOE Science Undergraduate Laboratory Internships (SULI) Undergraduate and Graduate Programs
• DOE Scholars Program
• Energy Efficiency and Renewable Energy (EERE) Science, Technology and Policy Program
• Fusion Energy Sciences Postdoctoral Research Program
• Higher Education Research Experiences (HERE) Undergraduate and Graduate Programs at ORNL
• Innovation Crossroads at ORNL
• Marine and Hydrokinetic Graduate Student Research Program
• Mickey Leland Energy Fellowship (MLEF)
• Office of Science Graduate Student Research Program (SCGSR)
• Science Education Programs at National Energy Technology Laboratory (NETL)
• Solar Energy Innovators
• Laboratory Technology Associate (Lab Tech) Program at ORNL
• Nuclear Engineering Science Laboratory Synthesis (NESLS) at ORNL
• Pathways to Computing Internship Program (PCIP) at ORNL
• Post-Bachelor’s Research Associate Program at ORNL
• Post-Master’s Research Associate Program at ORNL

If you have any questions or trouble registering, do not hesitate to contact ve@orau.org.

NASA internships and fellowships leverage NASA’s unique missions and programs to enhance and increase the capability, diversity and size of the nation’s future science, technology, engineering and mathematics (STEM) workforce. Internships are available from high school to graduate level. Internships provide students with the opportunity to participate in either research or other experiential learning, under the guidance of a mentor at NASA.

Below are the instructions:

• Visit intern.nasa.gov
• There will be a link under the intern heading that reads “click here to apply today”. Click that link
• Create a profile
• Summer 2020 internship opportunities are continuously being posted
• The center is Goddard Space Flight Center (GSFC)
• The titles of the internship projects are:
• CubeSat Standard Component Testing and Analyses
• NASA Science Instruments Technology Heritage
• Space Environment Testbed Radiation Effects Analysis (Summer 2020)
• Apply to those projects, but also to any projects that you find interesting

If you apply, e-mail lsamp@umbc.edu so that we can advocate on your behalf.

Are you a bold and creative thinker and an aspiring changemaker who is passionate about applying science and technology to create a more equitable, creative, prosperous, and sustainable world? 

Apply to Be A 2020 Station1 Fellow!

We invite you to apply to be in the summer 2020 cohort and participate in the Station1 Frontiers Fellowship (SFF) – a unique and exciting ten week residential science and technology-focused educational, research, and internship summer program with a focus on societal perspective, social innovation, and impact in the Boston region of Massachusetts in the USA.

As a Station1 Fellow You Will:

• Receive all expenses paid including a competitive living expenses stipend, housing costs, a stipend for transportation to and from Station1, commuting transportation costs to and from internships, and instructional costs; 
  
  
• Gain authentic, hands-on experience through an internship in a leading science and technology company or academic research laboratory;
  
  
• Participate in exciting, state-of-the-art research and development project in science and technology; Station1 supports projects across all of STEM majors including areas such as biotechnology, clean technologies and sustainability, agricultural technologies, civic technologies, aeronautics and astronautics, advanced manufacturing, 3D printing and digital automation, nanoscale materials design, artificial intelligence and machine learning, and more;
  
  
• Engage with a shared curriculum, unique in the nation and the world, focused on socially-directed STEM education and research which draws together critical perspectives on history, social studies of science and technology, equity, inclusion, sociotechnical studies of computation, social change and innovation, sustainability, and ethics of science and technology; 
  
  
• Gain interdisciplinary experience by interacting with guest instructors and mentors from a diversity of fields;
  
  
• Gain personal and professional experience through both the internship and a formal curriculum that focuses on areas such as: intercultural knowledge, inclusive leadership and collaboration, multi-modal communication, and more; 
  
  
• Have access to a creative co-working, collaboration, and learning space;
  
  
• Receive information and guidance on academic and career pathways including graduate school; and
  
  
• As a Station1 fellow alumni, become part of a network of exceptional professionals in the Station1 community beyond completion of the program. 

The UMBC Cyber Defense Lab presents

Reasoning About Time in a Crypto Protocol Analysis Tool

Dr. Catherine Meadows, Naval Research Laboratory

12:00–1:00pm Friday, 15 November 2019, ITE 227

The ability to guarantee timing properties, and in turn to use assumption about time to guarantee the security of protocols, is important to many of the applications we rely upon. For example, to compute locations, GPS depends on time synchronization between entities. Blockchain protocols require loose time synchronization to guarantee agreement on block timestamps. Distance-bounding protocols use the roundtrip time of an RF signal to enforce constraints on location. To analyze these types protocols formally, it is necessary to reason about time. This talk describes recent research in extending the Maude-NPA cryptographic protocol analysis tool to reason about cryptographic protocols that rely on or enforce timing properties. We describe the timing model we have created for the tool. We show how we we represent timing properties as constraints, whose solution is outsourced to an SMT solver. We also discuss our experimental results.

Catherine Meadows is a senior researcher in computer security at the Center for High Assurance Systems at the Naval Research Laboratory and heads that group’s Formal Methods Section. She was the principal developer of the NRL Protocol Analyzer (NPA), which was one of the first software tools to find previously undiscovered flaws in cryptographic protocols, and was used successfully in the analysis of a number of protocol standards. She is also leading, or has recently led, a number of projects related to the design and analysis of cryptographic protocols, including one focused the development of an analysis tool, Maude-NPA, that takes into account the the complex algebraic properties of cryptosystems, another that is focusing on the automatic generation of secure cryptosystems, and another devoted to formal methods for the design of cyber-physical systems with legacy components.

This work was supported by ONR 321 (*protected email*)

Host: Alan T. Sherman, *protected email* Support for this event was provided in part by the National Science Foundation under SFS grant 175368. The UMBC Cyber Defense Lab meets biweekly Fridays. All meetings are open to the public. Upcoming CDL Events:

• December 6, Karl Henderson, Verisign
• 9am—5pm daily, January 13-17, UMBC SFS/CySP Research Study, ITE 456
• January 31, 2020, TBA, biweekly CDL talks resume

The post TALK: Reasoning About Time in a Crypto Protocol Analysis Tool appeared first on Department of Computer Science and Electrical Engineering.

The UMBC Cyber Defense Lab presents

Reasoning About Time in a Crypto Protocol Analysis Tool

Dr. Catherine Meadows, Naval Research Laboratory

12:00–1:00pm Friday, 15 November 2019, ITE 227

The ability to guarantee timing properties, and in turn to use assumption about time to guarantee the security of protocols, is important to many of the applications we rely upon. For example, to compute locations, GPS depends on time synchronization between entities. Blockchain protocols require loose time synchronization to guarantee agreement on block timestamps. Distance-bounding protocols use the roundtrip time of an RF signal to enforce constraints on location. To analyze these types protocols formally, it is necessary to reason about time. This talk describes recent research in extending the Maude-NPA cryptographic protocol analysis tool to reason about cryptographic protocols that rely on or enforce timing properties. We describe the timing model we have created for the tool. We show how we we represent timing properties as constraints, whose solution is outsourced to an SMT solver. We also discuss our experimental results.

Catherine Meadows is a senior researcher in computer security at the Center for High Assurance Systems at the Naval Research Laboratory and heads that group’s Formal Methods Section. She was the principal developer of the NRL Protocol Analyzer (NPA), which was one of the first software tools to find previously undiscovered flaws in cryptographic protocols, and was used successfully in the analysis of a number of protocol standards. She is also leading, or has recently led, a number of projects related to the design and analysis of cryptographic protocols, including one focused the development of an analysis tool, Maude-NPA, that takes into account the the complex algebraic properties of cryptosystems, another that is focusing on the automatic generation of secure cryptosystems, and another devoted to formal methods for the design of cyber-physical systems with legacy components.

This work was supported by ONR 321 (*protected email*)

Host: Alan T. Sherman, *protected email* Support for this event was provided in part by the National Science Foundation under SFS grant 175368. The UMBC Cyber Defense Lab meets biweekly Fridays. All meetings are open to the public. Upcoming CDL Events:

• December 6, Karl Henderson, Verisign
• 9am—5pm daily, January 13-17, UMBC SFS/CySP Research Study, ITE 456
• January 31, 2020, TBA, biweekly CDL talks resume

The post TALK: Reasoning About Time in a Crypto Protocol Analysis Tool appeared first on Department of Computer Science and Electrical Engineering.