PAIGE | AI Engineers and Scientists | NYC | Onsite | Full time

PAIGE is a start-up using machine learning to improve cancer diagnosis. We're looking for AI Scientists and Engineers to join us. You'll be part of a team of world-leading experts in machine learning, computer vision and pathology. Recent graduates and PhD candidates who will defend soon are welcome to apply!

Requirements for AI Scientist Role:

- PhD degree in computer science or related field

- Publication record in venues such as CVPR, ICCV, NeurIPS, TPAMI, ICLR, IJCV, MICCAI, etc.

- Strong Python coding skills, with expertise in deep learning for computer vision

Requirements for AI Engineer Role:

- BS or MS in computer science or related field

- Strong Python coding skills, with expertise in deep learning for computer vision

Key Responsibilities:

- Work with our AI Scientists and Engineers to develop and assess deep neural network models

- Author top-tier journal and conference papers on your research at PAIGE.

- Attend conferences to present your work.

In addition to our excellent benefits package, we provide competitive salaries and stock options to our employees. Learn more and apply at https://paige.ai/careers

Email me with any questions: Email is hidden

Synthetic Minds (YC S18) | SF + Seattle | $120k+ | First 5 engineers: commensurate equity | ONSITE, Full Time

The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems. 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 “synthesize” it.

In Oct 2018, we raised $5.6M from Y Combinator, Khosla Ventures and Pantera Capital [6]. We have a backlog of customers waiting to be on-boarded. The team is experienced. This is my 2nd YC startup and I have a PhD in Program Synthesis. The 1st employee was the first hire at Parse (YC S11) and spent 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: Email is hidden - 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...

Braze is VC-backed customer engagement platform that helps the world's top companies engage with their customers. At its core it's a high scale messaging platform that sends billions of messages every month across mobile push, web push, email, text, etc. We work with companies ranging from Venmo, Lyft, Walmart, Grubhub to HBO, Dominos, Citibank, etc. If you've ever received a message from any of our clients, technically you've already seen our product in action as we power just about every interaction.

We have some truly interesting, world-class engineering challenges. Our products rely on sophisticated real time and batch processing of massive amounts of data to provide analytics and automated decision making. We’re hiring for these roles in our New York City office:

* Engineering Manager, Messaging & Automation (hands-on): https://grnh.se/56c2c14f1 * Staff Engineer: https://grnh.se/4a7949431 * Senior Backend Engineer: https://grnh.se/rh1uey1 * Senior Front-End Engineer: https://grnh.se/qn7v6a1 * Senior DevOps Engineer: https://grnh.se/h4psfq1 * Data Engineer: https://grnh.se/435ca3b81 * Forward Deployed Software Engineer: https://grnh.se/a6888fb31

To learn more, check out our engineering blog: https://www.braze.com/perspectives/tag/building-braze

New Knowledge | Multiple Positions | Austin, TX | Full-time | Onsite | https://newknowledge.com/

New Knowledge is on a mission to defend public discourse. We build products that repair online communities, identify manipulation, and help them communicate more authentically. In a world where social media is being manipulated on a massive scale, this is no small task. We care about protecting communities, brands, and companies from being targeted by the spreading of disinformation. The right fit for us is someone who is passionate about that challenge and mission. We just closed an $11M Series A in August 2018 (https://tcrn.ch/2pfuw6x) and we are on the fast track to grow a powerful, mission driven team!

Our tech stack: Python, Flask, Javascript, Node, React, Postgres, Snowflake, Kafka, Jenkins, Docker, Kubernetes, Terraform, Ansible

Our current technical openings: DevOps Engineer, Machine Learning Engineer, Product Designer, Product Manager, and Quality Engineering Manager.

Our non-technical positions: Head of Sales, and Business Development Director.

You can view more information and apply to these roles at https://grnh.se/43037c332

If you have any questions about a position, the company, or the hiring process you can email me here: Email is hidden and mention "Hacker News" in the subject line.

Cobalt Robotics | San Mateo, CA | Full-time | Onsite https://cobaltrobotics.com/

Cobalt builds autonomous security robots that keep buildings safe by combining the reliability of machines and the friendly face of human-in-the-loop “Robot Specialists.” Security costs U.S. companies over $200B a year, and is a very difficult task for humans to perform because of long monotonous hours.

We have robots deployed to customers nationally and are an incredibly fast moving team - we went from nothing to shipping our first robots in 12 months! We are 35+ people now and are looking for folks who are scrappy, collaborative, excited, and eager to share their knowledge and expertise with the rest of our team.

To see more about our values and company culture, visit https://cobaltrobotics.com/about/

Please send your resume to Email is hidden or visit the links below:

* All Open Roles: https://cobaltrobotics.com/careers/

* Frontend Software Engineer: https://jobs.lever.co/cobaltrobotics/e00d5c11-7bc1-4255-aca5...

* Security Software Engineer: https://jobs.lever.co/cobaltrobotics/82ae1594-1a43-46f0-b36a...

* Systems Engineer: https://jobs.lever.co/cobaltrobotics/a2caf247-568b-4046-8359...

* Reliability Engineer: https://jobs.lever.co/cobaltrobotics/17b3d320-ccf0-4dc5-bc78...

* Site Reliability Engineer: https://jobs.lever.co/cobaltrobotics/ec249d41-ab2d-4485-a440...

Routific | Vancouver, BC | Full-Time, Onsite/Remote | https://routific.com

We tackle the NP-hard route optimization problem for delivery businesses. We cut their fuel consumption by 20%~40%, with a tremendous green impact for the planet. We saved the equivalent of planting 100,000 trees last year alone! We also cover relocation expenses and sponsor work permits :)

Headquartered in beautiful Vancouver BC, with sweeping views of the ocean and mountains. To learn more about who we are, our engineering culture, and whether this is the right place for you, read our Key Values profile: https://www.keyvalues.com/routific

Check out our open roles:

* Lead Software Engineer: https://angel.co/routific/jobs/376543-lead-software-engineer

* Sr. Front-end Engineer: https://angel.co/routific/jobs/454028-front-end-engineer

Tech Stack: Rust – Common Lisp – React – Angular – Typescript – Node.js – Postgres – MongoDB

Faithlife | Senior Full Stack Software Developer-Social Network | Bellingham, WA or Chandler, AZ | Full-time | Onsite Faithlife is a tech company committed to the Church. We build the world’s premier Bible study software, along with an entire line of resources for Christian living: Faithlife.com (an online community that connects Christians from all around the world), Proclaim (a cloud-based church presentation tool), Faithlife TV (video streaming service), the Faithlife Study Bible (the world’s most advanced study Bible), and more. Faithlife is looking for an experienced full-stack engineer with the knowledge and skills to help build Faithlife Groups. Faithlife Groups is an online community that helps people find and create fellowship wherever they are. You will be someone who can work well in a diverse environment of different languages and technologies. You should have expertise in responsive web and single page applications, but you will also have opportunities in the services, data, and architecture overall. You should also be able to provide positive technical leadership. Apply at https://faithlife.com/jobs/seniorfaithlifefullstacksoftwared... or email Email is hidden Check out all the developer positions we have open here, under Software Development: https://faithlife.com/careers Please note that Faithlife cannot sponsor applicants for work visas.

NanoVMs | Kernel Engineer | SF, CA | Remote/Onsite | Full-time/Contractor | https://nanovms.com

We're looking for kernel engineers. You don't need prior professional experience although you should have definitely at least hacked around in the ecosystem before. You'll need at least a basic understanding of lower level filesystems and networking architecture. You should have a love (or hate) of section 2 and 3 of the man pages and know how to go about doing basic static/dynamic analysis. You should know C and have a great understanding of basic data structures and algorithms (cause you'll be creating more advanced ones) - we aren't just stuffing forms into databases for this role.

If you happen to be a performance nut (cycles, nanoseconds, iops, etc.) or a security aficionado (trapsleds? retguards? canaries?) that'd be great!

We are solving real world security issues that even the giants of tech are afflicted with. Current operating systems are not working for us anymore and we are dealing with the reality that we killed off unix a long time ago when we went to the 'cloud'.

We're very partial to on-site fulltime roles in our SOMA SF, CA based office but if you got the chops we're open to other engagements.

If any of this speaks to you get in touch.

Please check out our careers page or feel free to shoot me a msg or email - ian@ .

Dark | Infrastructure + Frontend Engineers | Early Stage | Full-time | San Francisco | Onsite

We're making coding 100x easier, allowing you to build scalable backend services in minutes/hours rather than weeks/months. We do this by removing as much accidental complexity as possible from building software, esp around infrastructure, deployment, and APIs. Read more at https://medium.com/darklang/the-design-of-dark-59f5d38e52d2.

• Product: Dark, a holistic combination of a programming language, structured editor, and infrastructure compiler. Basically, anything that we need to do to remove accidental complexity from development. • Phase: Trying it out with first users (https://news.ycombinator.com/item?id=16803189). So quite early, definitely pre-product/market-fit, so you’ll be heavily influencing the product. • Funding: $3.5m • Market: We're targeting existing developers for the next few years • Mission: allowing a billion people to code • Values: Impactful, Decisive, Collaborative, Introspective • Stack: OCaml, Kubernetes, Rust

== Salary/benefits == Good salary for seed-stage startup, good equity. Good benefits, including healthcare, parental leave, 401k.

== Team == CEO was former VP Prod @ Lola Travel, CTO was founder/CEO of CircleCI

== Interview == infra engineer: 1hr call/in-person with CEO, 1hr chat with CTO, customized after that, likely a 1 day paid onsite. frontend eng: 1hr call/in-person with CEO, 1hr chat with CTO, tech challenge, 1 day paid onsite

== More == http://darklang.com/careers/infrastructure-engineer http://darklang.com/careers/software-engineer https://darklang.com/careers/frontend-engineer/

AWS, HPC | Software Development Manager | Seattle, WA | Full-Time, ONSITE, VISA |https://www.amazon.jobs/en/jobs/795613/software-development-...

AWS High Performance Computing’s Engineering Organization is hiring Software Development Engineer, Software Development Manager, and other roles (http://boofla.io/jobs). We work with some of the most awesome customers in the world who do extraordinary things to solve some of the most complex problems in science, engineering, and medicine.

Please come and join us! We're hiring in Seattle and Asti, Italy and will offer relocation packages to the right candidates as well as attractive compensation and an incredibly fun work environment.

Software engineering jobs in our group lead to really cool outcomes - you'll get to use all that distributed systems knowledge and those parallel programming skills to support something that'll really make history.

You can reach out directly to our HPC development team for more information at Email is hidden if you have any questions.