Ask HN: Who is hiring? (February 2019)

Gravitational builds open-core software to automate the delivery and operations of cloud-native software across multiple locations (multi-cloud and on-prem). We are looking for ambitious and talented people across engineering and go-to-market (sales/marketing). Here are some of the things we have built in the past: Mailgun[1], Vulcand[2], OnMetal [3]. And some of the things you will help us with currently: Teleport[4], Gravity[5], Teleconsole[6].

Open positions include:

  * Fullstack engineer (React expertise A+)
  * Sales Development Reps (qualifying inbound and participating in outbound campaigns for handoff to sales reps)
  * Senior Golang/Linux systems engineer, Teleport

https://github.com/gravitational/careers/blob/master/systems...

Apply: jobs@gravitational.com

[1] https://www.mailgun.com [2] https://github.com/vulcand/vulcand [3] https://www.rackspace.com/cloud/servers/onmetal [4] https://github.com/gravitational/teleport [5] https://github.com/gravitational/gravity [6] https://www.teleconsole.com/

We're empowering the world to build a safer internet. All technology contains bugs, but they can be eliminated safely if we all work together. Our platform makes world-class security accessible to everyone by connecting security conscious teams directly with thousands of friendly hackers who are eager to help.

We are a diverse and talented team of engineers who are driven to solve challenges with clean, quality code. Our team is agile, highly collaborative, and aims to be aligned and autonomous. We strive to continually improve ourselves by learning from our peers and growing from their feedback. Better software is built by working together.

Currently, we are looking for a Software Engineer to join our team located in Groningen. This is a full-stack web development role. We don't require experience in security; we simply encourage an awareness of the security implications of what we build.

For a detailed job description of this role please visit https://jobs.lever.co/hackerone/ac3452ac-1f25-4f48-bfd8-af18...

Or, feel free to send us a email for more info: careers@hackerone.com

The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems; but never gets to use it in their day job. Synthetic Minds will allow you to leverage your technical chops.

Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a system in production that reads/writes smart contracts in Ethereum's Solidity language, and we use it to ensure our customer's code is secure and correct. Eventually, we plan on going far beyond smart contracts. Think of what we are building as a compiler that takes code and translates it to theorem proving, so that we can build automation that can understand code almost as close to a human. If it can understand code, with sufficient compute it can even “synthesize” it.

In Oct 2018, we raised a $5.6M seed round from Y Combinator, Khosla Ventures and Pantera Capital [6]. We have paying customers and a backlog waiting to be on-boarded. The team is heavily experienced. This is the founder’s second startup and they have a PhD in the area. The 1st employee was the first hire at Parse (YC S11) and has 10 yrs at Google. We aim to be a 10-15 person all-engineering team in 2019.

Roles/Openings (see [1]): # Software engineer: Systems/infrastructure — You’ll be working on distributing heavy CPU processes on AWS. Making sure processes run reliably over many days. Ensure robustness of the infrastructure across node/process/memory/algorithm failures.

# Software engineer: Compilers/verification/synthesis — You’ll be working on developing new algorithms that analyze and generate code [2]. You’ll identify when an engineering solution is needed (i.e., throw across a cluster of machines), or when an algorithmic improvement is required. You might even play with the Z3 theorem prover [3]. And if you’re really into it, you can improve Z3.

# Software engineer: Smart contracts — You’ll be working on the “front-end of the compiler”, which reads in smart contracts languages (e.g., Solidity) and makes it accessible to the backend (the part that does semantic analysis). Desire to work at the compiler level of smart contracts is required, e.g., see [4] — experience in writing smart contracts is easily acquired as a side effect.

Contact: saurabhs@synthetic-minds.com - Saurabh, Founder

[1] Synthetic Minds Jobs: https://synthetic-minds.com/pages/jobs.html

[2] Program synthesis: https://medium.com/@vidiborskiy/software-writes-software-pro...

[3] Z3 Theorem Prover: https://github.com/Z3Prover/z3

[4] Solidity AST: https://github.com/ethereum/solidity/blob/develop/libsolidit...

[5] Solidity smart contracts: https://solidity.readthedocs.io/en/v0.4.21/solidity-by-examp...

[6] Forbes funding article: https://www.forbes.com/sites/darrynpollock/2018/10/22/invest...

15 million monthly active users.

Doubled userbase year-over-year.

Tripled revenue year-over-year.

Bringing peace of mind to families with technology.

We're hiring senior Android and Backend engineers to join our newly-formed Growth Team to help us scale up globally. Don't let "senior" scare you; if you know your way around Android or microservices, and have experience with different technologies like web / backend / iOS, or are particularly hungry to learn, we want to work with you.

With over 18 million active users and $90 million in venture funding, Life360 is the world’s largest mobile app for families. Today, we are focused on location sharing and safety, but our mission is to become the must-have Family Membership that gives families peace of mind anytime and anywhere. From personalized location-based alerts that help make daily coordination easier, to advanced sensor tech that can detect a car crash and automatically send you an ambulance, we are leveraging smartphones to their fullest extent to reinvent how families get through the day.

- Full-time

- Location: San Francisco, California

- Competitive salary and stock options

- $200/month Quality of Life perk

- Great office in SOMA: dogs are welcome, tons of snacks, and great catered lunches

Apply here:

Android - https://boards.greenhouse.io/life360/jobs/4154046002?gh_src=...

Backend - https://boards.greenhouse.io/life360/jobs/4158708002?gh_src=...