Thursday, February 13, 2020 – Saturday, February 15, 2020 * All Day

FREE!!!!

Open to All Students (undergraduate and graduate)

Jobs--full-time, part-time, internships and graduate admissions

BEYA STEM Conference - February 13-15, 2020
STEM Career Fair - Friday, February 14 and Saturday, February 15, 2020 (10 am - 4 pm)

Washington Marriott Wardman Park

2660 Woodley Road NW
Washington DC, 20008

The BEYA STEM Conference sponsored by Career Communications Group (CCG) will be held February 13-15, 2020 as part of this large annual conference, representatives from several major corporations and universities will be on hand to meet with students pursuing careers in the STEM (Science, Technology, Engineering and Math) fields as well as Business, Finance, and Marketing.  Why should you attend?

·         FREE Career Fair

·         Career exhibits

·         50 + seminars and workshops

·         On the spot job offers

·         Networking with recruiters

·         Job readiness certification for college students.

The Career Fair portion of the conference on Friday and Saturday, is free of charge for UMBC students and alumni with an active UMBC email address. All students are welcome to attend. Dress to impress and bring plenty of updated resumes!

Registration is required.

To register, go to:  https://careers2.umbc.edu/calendar/fairs/beya2020.php

Deadline to pre-register is Feb. 10(Career Fair)

Contact Diane Crump-Fogle (crump@umbc.edu) or Chrisi Giannakaris (chrisig@umbc.edu) of the UMBC Career Center for additional information.

Shuttle Bus -

THERE IS A WAIT LIST FOR THE BUS BUT YOU MAY STILL REGISTER FOR THE CONFERENCE AND PROVIDE YOUR OWN TRANSPORTATION

There will be a free shuttle bus to transport students to and from the career fair on Friday or on Saturday. If you will need transportation, be sure to complete the shuttle bus registration form at the bottom of the registration page: https://careers2.umbc.edu/calendar/fairs/beyabus2020.php. Please note that the free shuttle bus is available on a first-come, first-serve basis.  In order to serve the most students, you may select only one day to ride the shuttle. The free shuttle will run only on Friday and Saturday between 8:15 a.m.-4:00 p.m. Transportation to and from other conference events (such as the BEYA Gala held Saturday evening) is on your own.

For a list of some of the employers, see:  List of Employers

 Added Bonus – Job Matching Program

 If you would like CCG to share your résumé with potential employers in order to help you identify employment opportunities, email your résumé directly to: aturner@ccgmag.com with subject line "Resume" (one resume attachment per email); resumes can come from any email address.

 
*If you require special accommodations for this event due to a disability, please notify us at least two weeks prior to the event. Requests received after that time cannot be guaranteed, but we will do our best to make the proper arrangements. Please email careers@umbc.edu with your specific request - be sure to include title, date, and time of the event.

JHU/APL CIRCUIT internship program information session

3:00-4:00 pm Friday, 31 January 2020

ITE 459, UMBC

There will be a special information session on the JHU/APL CIRCUIT internship program from 3:00 pm to 4:30 pm on Friday, 31 January 2020 in room ITE 459.

This session is for undergraduates who want to spend their summer (June through August) getting paid to do mentored research at the Johns Hopkins University Applied Physics Lab. The research areas include AI, data science, cybersecurity, precision medicine, and planetary exploration.

Interns selected for the program will do mission-oriented research on-site at JHU/APL in Laurel MD mentored by STEM professionals. There will also be year-round opportunities for engagement and enrichment. The selection for an internship will be based on a combination of potential, need and commitment.

Email *protected email* or *protected email* with questions.

The post JHU/APL CIRCUIT internship program information session, 3pm Fri 1/31 appeared first on Department of Computer Science and Electrical Engineering.

The UMBC Cyber Defense Lab presents

Interactive Proof Assistants for Verification

Ian Blumenfeld
Principal Research Mathematician
Two Six Labs   

12:00-1:00 pm Friday,  31 January 2020, ITE 227

Many advances have been made in software and hardware assurance using automated tooling.  Constraint-based solving tools like SAT and SMT solvers have proved very useful proving functional correctness in the world of software, while the hardware world relies heavily on the use of industrial-strength model checkers to provide formal verification of important properties like liveness and non-interference.  Sometimes, however, push-button tools are simply not enough. In this talk, we will discuss formal mathematical reasoning using interactive proof assistants, particularly Isabelle. While Isabelle is often thought of as a tool for checking the work of mathematicians, it is, in fact, a powerful engine for reasoning about software and hardware security.  We will work through an example of the verification of a multi-precision arithmetic software library using Isabelle. This talk is aimed at total beginners in the realm of automated theorem proving, and seeks to provide an overview of the fundamental techniques and ideas. 

Ian Blumenfeld is a Principal Research Mathematician at Two Six Labs.  He currently is the principal investigator of TwoSix’s efforts on the DARPA SafeDocs program, attempting to help do type-theoretic reasoning about document specification formats.  He is a former employee of Apple where he worked on the formal verification team, ensuring the security of the iPhone SEP chip. He has done extensive work verifying cyber-physical systems at Johns Hopkins APL.  Mr. Blumenfeld’s interest in formal methods began with his time working as an Applied Research Mathematician in NSA’s Research Directorate. He’s also a pretty good swing dancer.

Host: Alan T. Sherman, *protected email*

Support for this event was provided in part by the National Science Foundation under SFS grant DGE-1753681. 

The UMBC Cyber Defense Lab meets biweekly Fridays.  All meetings are open to the public.

The post talk: Ian Blumenfeld on Interactive Proof Assistants for Verification, Fri 1/31 appeared first on Department of Computer Science and Electrical Engineering.

Lockheed Martin Distinguished Speaker Series

Designing Secure Hardware Systems

Shawn Blanton

Trustee Professor, Electrical and Computer Engineering
Carnegie Mellon University

1:00-2:00pm Friday 7 Feb. 2020

Commons 329, UMBC
University Center Ballroom

On October 29, 2018, DARPA issued an RFI that stated: “This Request for Information (RFI) from the Defense Advanced Research Projects Agency’s (DARPA) Microsystems Technology Office (MTO) seeks information on technology, concepts, and approaches to support the integration of security capabilities directly into System on Chip (SoC) system design and to enable the autonomous integration and assembly of SoCs.

This RFI and the tens of millions of dollars that the US government has already invested in hardware security research and development is based on the fact that the fabrication of state-of-the-art electronics is now mostly overseas. With the recent announcement that GLOBALFOUNDRIES is going to stop all 7nm development, there is now only one company in the US that continues to pursue advanced semiconductors (Intel). Unfortunately, Intel does not have the same experience of making chips for third parties as does Samsung and (most importantly) TSMC (Taiwan Semiconductor Manufacturing Corporation). As a result, the US government believes it will be forced to fabricate advanced, sensitive electronics overseas in untrusted fabrication facilities. As a result, there is keen interest in design methodologies that mitigate reverse engineering, tampering, counterfeiting, etc.

In this talk, an overview of hardware security will be presented followed by a discussion on a concept called logic locking. This approach will be described and the “back and forth” that is now occurring in the research community involving: (i) vulnerability discovery and (ii) logic locking improvement.

Shawn Blanton is a professor in the Electrical and Computer Engineering Department at Carnegie Mellon University and Associate Director of the SYSU-CMU Joint Institute of Engineering (JIE). In 1995 he received his Ph.D. in Electrical Engineering and Computer Science from the University of Michigan, Ann Arbor. His research interests include various aspects of integrated system tests, testable design, and test methodology development. He has consulted for various companies and is the founder of TestWorks, a Carnegie Mellon University spinout focused on information extraction from IC test data. He is a Fellow of the IEEE and Senior Member of the ACM and served as the program chair for the 2011 International Test Conference.

The post talk: Shawn Blanton (CMU) on Designing Secure Hardware Systems, 1pm Fri 2/7; COmmons 329 appeared first on Department of Computer Science and Electrical Engineering.