index.html

---
layout: default
---

<script src="https://ajax.googleapis.com/ajax/libs/jquery/2.2.0/jquery.min.js"></script>

<div id="home">

<h1>About us</h1>
<p>
Loonwerks is a collection of formal methods researchers associated with the Trusted Methods group in Collins Aerospace.  Our work is focused on the use of formal methods to create safe and secure avionics software.  We build tools that make the latest advances in automated analysis from the research community accessible to system and software developers in industry.  
</p>

<h1>Work with us</h1>
<p>
Job &#8712 {FormalMethods &#8745 Airplanes} &#8658 Cool(Job) <br>
Interested in joining the Trusted Methods team at Collins?  
<!--
<A href="https://jobs.collinsaerospace.com/job/cedar-rapids/principal-trusted-systems-engineer/1738/11637012" target="_blank">Apply here.</A>
<br />
-->
For additional information contact us at <A href="mailto:info@loonwerks.com">info@loonwerks.com</A> 
</p>

<div id="news" style="visibility: hidden">
<h1>What's new</h1>
<p>Collins Aerospace run-time assurance and formal methods technologies are at the heart of this DARPA Assured Autonomy demonstration.  Check out  
	<A href="https://lnkd.in/gxyzR_EH" target="_blank">this video </A>
	produced by our colleagues at Boeing.
</p>
{% include sorted-elements.html %}
  {% assign year_ago_timestamp = site.time | date: "%s" | minus: 31536000 %}
  <div class="publications">
    <ul>
      {% for pub in sorted_publications %}
        {% assign pub_timestamp = pub.date | date: "%s" | minus: 0 %}
        {% if pub_timestamp > year_ago_timestamp %}
          {% include pub-ref.html %}
        {% endif %}
      {% endfor %}
    </ul>
  </div>
</div>
</div>

<img src="/images/minneapolis-bw.png" />

<p id="disclaimer">
Loonwerks is solely responsible for the content of this web site. Such
content does not necessarily represent the views of Collins Aerospace.  
All content has been approved for public release. 
</p>

<script type="text/javascript">
  var now_timestamp = Date.now() / 1000;
  var minute = 60;
  var hour = 60*minute;
  var day = 24*hour;
  var year = 365*day;
  var cutoff_timestamp = now_timestamp - (year / 2);

  var have_news = false;
  $('#news li').each(function (index) {
    var news_timestamp = parseInt($(this).attr('data-timestamp'), 10);
    if (news_timestamp < cutoff_timestamp) {
      $(this).hide();
    } else {
      have_news = true;
    }
  });

  if (have_news) {
    $('#news').css('visibility', 'visible');
  }
</script>

</div>