[pl-seminar] Fwd: Summer Internships at Bell Labs in Verification, Synthesis and Robotics

[Aws Albarghouthi <aws@xxxxxxxxxxx>]

---------- Forwarded message ---------
From: SOMESH JHA <jha@xxxxxxxxxxx>
Date: Mon, Jan 28, 2019 at 5:34 PM
Subject: Fwd: Summer Internships at Bell Labs in Verification, Synthesis and Robotics
To: Aws Albarghouthi <aws@xxxxxxxxxxx>, LORIS D'ANTONI <ldantoni@xxxxxxxx>

Can you post this on the pl-mailing list?

-------- Forwarded Message --------

Subject:	Summer Internships at Bell Labs in Verification, Synthesis and Robotics
Date:	Mon, 28 Jan 2019 20:49:33 +0000
From:	Namjoshi, Kedar (Nokia - US/Murray Hill) <kedar.namjoshi@xxxxxxxxxxxxxxxxxxx>
To:	Somesh Jha <jha@xxxxxxxxxxx>

Hi Somesh,

     There is a new research program starting up at Bell Labs on coordinated multi-robot systems, along with ongoing research on compiler verification and program synthesis. Could I ask you to please circulate these announcements and encourage students to apply? (Feel free to forward to others as well.) Thanks very much, and a Happy New Year!

 

Best,

--Kedar

 

--

Aws

Summer Research Internships at Nokia Bell Labs in Program Verification and Synthesis
====================================================================================

Internships are available at Bell Labs in Murray Hill, NJ for research on compiler verification and program synthesis, supported by the NSF. 

Bugs in compilers are insidious and are often very hard to detect. Even harder to find are security flaws (such as information leaks) that may be silently introduced by *correct* compiler optimizations. This research project seeks methods to fully automatically validate correctness and security in compilation. The research covers new proof methods as well as implementations on the LLVM compiler framework. 

The research on program synthesis is developing methods to automatically construct coordination programs that guide the actions of multiple reactive and independent agents towards achieving a common goal. Automated synthesis is useful in domains such as robotics and the Internet of Things (IoT). The goal is to build practical, scalable tools; doing so also requires solutions to new and open algorithmic questions. 

We are looking for Ph.D. students with excellent communication skills and a strong academic background in programming language semantics, static program analysis, and program verification methods. Interns will have considerable freedom to pick a challenging research project that fits their interests and expertise. Past research by summer interns has led to publications in leading venues such as SAS, VMCAI, and CAV. 

If any of this sounds interesting to you, please get in touch with Kedar Namjoshi at kedar.namjoshi@xxxxxxxxxxxxxxxxxxx . 




About Nokia and Bell Labs
=========================
Nokia is a global leader in the technologies that connect people and things. Help change the way people connect with the world!

Bell Labs, the Nobel Prize winning research organization, is internationally renowned as the birthplace of modern information theory, the transistor, the laser, the UNIX operating system, and the C and C++ programming languages, to name only some of its major achievements. Bell Labs defines Nokia?s technological and architectural vision, identifies key challenges, and works towards solutions that are an order of magnitude better than the state of the art. 

During your internship, you will be able to freely interact with other Bell Labs researchers and fellow interns who work on cutting-edge research projects in a wide range of  fields, including algorithms, information theory and coding, networking, robotics, and large-scale software design.

Summer Internships on Robotics Research at Nokia Bell Labs
==========================================================

For our new program on multi-robot systems, we are offering exciting internship opportunities for graduate students. If you like challenges, and want to join us in launching this new research project, and if you have specialty in one of the following topics, please contact Itai Segall at: itai.segall@xxxxxxxxxxxxxxxxxxx

Potential topics for internship projects may be:
-	Programming coordinated multi-robot systems
-	Synthesizing plans from high-level specifications
-	Integrating high-level plans with actual robotic systems   
-	Construction of runtime environment for control of robotic systems
-	Theory aspects behind robotic systems, e.g. relevant optimization problems

Specific fields of expertise needed are:
-	Robotic control and localization
-	Software engineering
-	Synthesis
-	Planning
-	Distributed systems
-	Optimization problems
-	Physical simulation environments

Positions are open for candidates with expertise in one or more of the above topics, and who have:
-	Graduate student in Computer Science, Electrical Engineering or related fields 
-	A strong academic record
-	Excellent communication skills
-	Interest in cross-disciplinary collaboration


About Nokia and Bell Labs
=========================
Nokia is a global leader in the technologies that connect people and things. Help change the way people connect with the world! 

Bell Labs, the Nobel Prize winning research organization, is internationally renowned as the birthplace of modern information theory, the transistor, the laser and the UNIX operating system. Bell Labs defines Nokiaâ??s technological and architectural vision, identifies key challenges, and works towards solutions that are an order of magnitude better than the state of the art. At the APSS lab, we strive to conduct far-reaching and impactful research in the areas of systems and software.